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/SimpleVCCompat.java | |
| 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/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: |