From 4884912ec1640a396b43a441e5df58ed2ab1be29 Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Sun, 3 Aug 2014 10:15:00 +0000
Subject: [PATCH] missing executable bits

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4391 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 src/cbmc/dist-linux | 0
 src/cbmc/dist-macos | 0
 src/cbmc/dist-win   | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 src/cbmc/dist-linux
 mode change 100644 => 100755 src/cbmc/dist-macos
 mode change 100644 => 100755 src/cbmc/dist-win

diff --git a/src/cbmc/dist-linux b/src/cbmc/dist-linux
old mode 100644
new mode 100755
diff --git a/src/cbmc/dist-macos b/src/cbmc/dist-macos
old mode 100644
new mode 100755
diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win
old mode 100644
new mode 100755