diff --git a/src/api/java/AST.java b/src/api/java/AST.java
index ebb9fc18e..43002c714 100644
--- a/src/api/java/AST.java
+++ b/src/api/java/AST.java
@@ -72,12 +72,7 @@ public class AST extends Z3Object implements Comparable<AST>
     @Override
     public int hashCode()
     {
-        int r = 0;
-        try {
-            Native.getAstHash(getContext().nCtx(), getNativeObject());
-        }
-        catch (Z3Exception ex) {}
-        return r;
+        return Native.getAstHash(getContext().nCtx(), getNativeObject());
     }
 
     /**