summaryrefslogtreecommitdiff
path: root/examples/SimpleVC.java
diff options
context:
space:
mode:
Diffstat (limited to 'examples/SimpleVC.java')
-rw-r--r--examples/SimpleVC.java2
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);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback