some fixes for language bindings

1 files changed, 3 insertions, 4 deletions

diff --git a/examples/SimpleVC.java b/examples/SimpleVC.java
index 8159cdc0e..a5e2d4e4f 100644
--- a/examples/SimpleVC.java
+++ b/examples/SimpleVC.java
@@ -34,7 +34,6 @@
  **/
 
 import edu.nyu.acsys.CVC4.*;
-import edu.nyu.acsys.CVC4.Integer;// to override java.lang.Integer name lookup
 
 public class SimpleVC {
   public static void main(String[] args) {
@@ -50,16 +49,16 @@ public class SimpleVC {
 
     Expr x = em.mkVar("x", integer);
     Expr y = em.mkVar("y", integer);
-    Expr zero = em.mkConst(new Integer(0));
+    Expr zero = em.mkConst(new Rational(0));
 
     Expr x_positive = em.mkExpr(Kind.GT, x, zero);
     Expr y_positive = em.mkExpr(Kind.GT, y, zero);
 
-    Expr two = em.mkConst(new Integer(2));
+    Expr two = em.mkConst(new Rational(2));
     Expr twox = em.mkExpr(Kind.MULT, two, x);
     Expr twox_plus_y = em.mkExpr(Kind.PLUS, twox, y);
 
-    Expr three = em.mkConst(new Integer(3));
+    Expr three = em.mkConst(new Rational(3));
     Expr twox_plus_y_geq_3 = em.mkExpr(Kind.GEQ, twox_plus_y, three);
 
     BoolExpr formula =