diff options
Diffstat (limited to 'examples/SimpleVCCompat.java')
| -rw-r--r-- | examples/SimpleVCCompat.java | 2 |
1 files changed, 0 insertions, 2 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: |