diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:26:31 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:26:31 -0500 |
commit | f6b6d827f41b5b3707a1d0a59311ee3d852244d2 (patch) | |
tree | 9ede29392915a72140b22e3a0d41d36cd25720e2 /examples/api/java | |
parent | a70dfd183b52f50d132d8b17425c7089a77004e7 (diff) |
Cleanup related to output language fix.
Diffstat (limited to 'examples/api/java')
-rw-r--r-- | examples/api/java/Datatypes.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/api/java/Datatypes.java b/examples/api/java/Datatypes.java index d5d4af897..9406031c1 100644 --- a/examples/api/java/Datatypes.java +++ b/examples/api/java/Datatypes.java @@ -22,7 +22,6 @@ public class Datatypes { System.loadLibrary("cvc4jni"); ExprManager em = new ExprManager(); - Expr helloworld = em.mkVar("Hello World!", em.booleanType()); SmtEngine smt = new SmtEngine(em); // This example builds a simple "cons list" of integers, with |