diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/SimpleVCCompat.java | 2 | ||||
-rw-r--r-- | examples/simple_vc_compat_c.c | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/examples/SimpleVCCompat.java b/examples/SimpleVCCompat.java index fea4f3b7e..65bc62f78 100644 --- a/examples/SimpleVCCompat.java +++ b/examples/SimpleVCCompat.java @@ -39,8 +39,6 @@ import cvc3.*; public class SimpleVCCompat { public static void main(String[] args) { - //System.loadLibrary("cvc4bindings_java_compat"); - ValidityChecker vc = ValidityChecker.create(); // Prove that for integers x and y: 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() { |