diff options
Diffstat (limited to 'cad/cvc/files/patch-src_obstack.c')
| -rw-r--r-- | cad/cvc/files/patch-src_obstack.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cad/cvc/files/patch-src_obstack.c b/cad/cvc/files/patch-src_obstack.c new file mode 100644 index 000000000000..313ba177999f --- /dev/null +++ b/cad/cvc/files/patch-src_obstack.c @@ -0,0 +1,11 @@ +--- src/obstack.c.orig 2021-12-28 19:08:19 UTC ++++ src/obstack.c +@@ -29,7 +29,7 @@ + # include "obstack.h" + #endif + +-#include <stdint-gcc.h> ++//#include <stdint-gcc.h> + + /* NOTE BEFORE MODIFYING THIS FILE: This version number must be + incremented whenever callers compiled using an old obstack.h can no |