mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-05 05:41:23 +00:00
Code Activity

"static final" does not do anything

Browse source
This commit is contained in:
George Karpenkov 2016-01-06 10:25:52 +01:00
parent 56db1867ef
commit a3a8ba40e7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Status.java
View file

@ -38,7 +38,7 @@ public enum Status
this.intValue = v; this.intValue = v;
} }
public static final Status fromInt(int v) public static Status fromInt(int v)
{ {
for (Status k : values()) for (Status k : values())
if (k.intValue == v) if (k.intValue == v)