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, 0 insertions, 11 deletions
diff --git a/cad/cvc/files/patch-src_obstack.c b/cad/cvc/files/patch-src_obstack.c deleted file mode 100644 index 313ba177999f..000000000000 --- a/cad/cvc/files/patch-src_obstack.c +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 |