diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
commit | 99cad5495be99efae434177d1537d4cfac35581c (patch) | |
tree | d96995c91bfcec7d4cd40d9aa6cedef5a19fa18f /examples/simple_vc_compat_c.c | |
parent | 8116fa6b55db64301ed89f1f174b95780449007f (diff) |
* 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
Diffstat (limited to 'examples/simple_vc_compat_c.c')
-rw-r--r-- | examples/simple_vc_compat_c.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 <stdio.h> #include <stdlib.h> -/* #include <cvc4/compat/c_interface.h> /* use this after CVC4 is properly installed */ +/* #include <cvc4/bindings/compat/c/c_interface.h> /* use this after CVC4 is properly installed */ #include "bindings/compat/c/c_interface.h" int main() { |