mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-16 13:58:45 +00:00
Code Activity

AST#hashCode bugfix

Browse source 
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.
This commit is contained in:
George Karpenkov 2016-01-06 11:11:01 +01:00
parent 4d3675cb4e
commit 27c684f743
1 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/api/java/AST.java
View file

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