replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

don't remove inttypes.h on anything but Windows 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2600 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2013-06-11 06:16:42 +00:00
parent 48278c7582
commit 8b63378d32
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/minisat-2.2.0-patch
View File

@ -1,12 +1,13 @@
diff -rupN minisat-2.2.0/mtl/IntTypes.h minisat-2.2.0.patched/mtl/IntTypes.h
--- minisat-2.2.0/mtl/IntTypes.h 2010-07-10 17:07:36.000000000 +0100
+++ minisat-2.2.0.patched/mtl/IntTypes.h 2011-07-15 12:05:38.144000000 +0100
@@ -31,7 +31,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
@@ -31,7 +31,9 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
#else
# include <stdint.h>
-# include <inttypes.h>
+//# include <inttypes.h>
+#ifndef _MSC_VER
# include <inttypes.h>
+#endif
#endif