From 27c684f743d34b33c0e0fffdcc7df0263cef62e3 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Wed, 6 Jan 2016 11:11:01 +0100
Subject: [PATCH] AST#hashCode bugfix

Previous implementation always returned zero.
I can only assume that it wanted to cache it as well,
but I haven't implemented that to keep the changes light.
---
 src/api/java/AST.java | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

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());
     }
 
     /**