From 99cad5495be99efae434177d1537d4cfac35581c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 6 Oct 2012 17:27:51 +0000 Subject: * Some documentation about building compatibility and language bindings * Better errors/warnings when SWIG isn't installed (resolves bug 373) * Allow compatibility bindings to be built when SWIG isn't available --- examples/simple_vc_compat_c.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/simple_vc_compat_c.c') diff --git a/examples/simple_vc_compat_c.c b/examples/simple_vc_compat_c.c index f45df65f5..28ec06054 100644 --- a/examples/simple_vc_compat_c.c +++ b/examples/simple_vc_compat_c.c @@ -21,7 +21,7 @@ #include #include -/* #include /* use this after CVC4 is properly installed */ +/* #include /* use this after CVC4 is properly installed */ #include "bindings/compat/c/c_interface.h" int main() { -- cgit v1.2.3