diff --git a/lib/ivy.xml b/lib/ivy.xml
index df8656322c..a5d68bd4cf 100644
--- a/lib/ivy.xml
+++ b/lib/ivy.xml
@@ -137,7 +137,7 @@
-
+
diff --git a/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java b/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java
index 9442c90b44..a3cdc74dd7 100644
--- a/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java
+++ b/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java
@@ -59,7 +59,8 @@ public final boolean equals(Object o) {
@Override
public final int hashCode() {
- return (int) cvc4term.getId(); // ID should work like a hashCode, TODO test this
+ // termId works like a hashCode
+ return cvc4term.getId().intValue();
}
final Expr getTerm() {