Gr

emina · Sep 18, 2018 · a69428d · a69428d
1 parent 073bfa0
commit a69428d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/examples/lwb/examples/Group.java b/examples/lwb/examples/Group.java
@@ -30,7 +30,6 @@ public static void main(String[] args) throws Exception {
 bounds.boundExactly(x3, x3_upper);
 
 TupleSet x4_upper = factory.setOf("x1", "x2");
-System.out.println(x4_upper);
 bounds.boundExactly(x4, x4_upper);
 
 // bounds for inv