mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity

fix #5915

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-03-22 16:03:35 -07:00
parent ce04c16a6f
commit a24a922688
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/java/JavaExample.java
View file

@ -1868,7 +1868,7 @@ class JavaExample
} }
} else } else
{ {
System.out.println("BUG, the constraints are satisfiable."); System.out.println("BUG, the constraints are not satisfiable.");
} }
} }