From e1f76ec54d34af17e2db4acad7a3bd29645dcef6 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Tue, 28 Dec 2021 23:33:10 -0800 Subject: cad/cvc: New port: Circuit Validity Checker --- cad/cvc/files/patch-src_obstack.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 cad/cvc/files/patch-src_obstack.c (limited to 'cad/cvc/files/patch-src_obstack.c') 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 ++//#include + + /* NOTE BEFORE MODIFYING THIS FILE: This version number must be + incremented whenever callers compiled using an old obstack.h can no -- cgit v1.2.3