* fix compatibility library naming for SMT-LIBv1

* change name of JNI library to "libcvc4jni", which works better with Java's
  System.loadLibrary().

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 1 insertions, 1 deletions

diff --git a/examples/SimpleVC.java b/examples/SimpleVC.java
index a5e2d4e4f..41c4542fd 100644
--- a/examples/SimpleVC.java
+++ b/examples/SimpleVC.java
@@ -37,7 +37,7 @@ import edu.nyu.acsys.CVC4.*;
 
 public class SimpleVC {
   public static void main(String[] args) {
-    System.loadLibrary("CVC4");
+    System.loadLibrary("cvc4jni");
 
     ExprManager em = new ExprManager();
     SmtEngine smt = new SmtEngine(em);