diff options
Diffstat (limited to 'examples/SimpleVCCompat.java')
-rw-r--r-- | examples/SimpleVCCompat.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/SimpleVCCompat.java b/examples/SimpleVCCompat.java index 107b5504e..aa28a423b 100644 --- a/examples/SimpleVCCompat.java +++ b/examples/SimpleVCCompat.java @@ -39,6 +39,8 @@ 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: |