diff options
Diffstat (limited to 'test/unit/api/java/SolverTest.java')
-rw-r--r-- | test/unit/api/java/SolverTest.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/api/java/SolverTest.java b/test/unit/api/java/SolverTest.java index f89ecfffd..2f134b6bf 100644 --- a/test/unit/api/java/SolverTest.java +++ b/test/unit/api/java/SolverTest.java @@ -2557,7 +2557,7 @@ class SolverTest Term[] elements = new Term[] {d_solver.mkBoolean(true), d_solver.mkInteger(3), d_solver.mkString("C"), - d_solver.mkTerm(SINGLETON, d_solver.mkString("Z"))}; + d_solver.mkTerm(SET_SINGLETON, d_solver.mkString("Z"))}; Term tuple = d_solver.mkTuple(sorts, elements); @@ -2594,8 +2594,8 @@ class SolverTest assertEquals(elements[indices[i]], simplifiedTerm); } - assertEquals("((_ tuple_project 0 3 2 0 1 2) (tuple true 3 \"C\" (singleton " - + "\"Z\")))", + assertEquals("((_ tuple_project 0 3 2 0 1 2) (tuple true 3 \"C\" " + + "(set.singleton \"Z\")))", projection.toString()); } } |