fix missing paren introduced by trying to use github's conflict resol…

…ution
uclid-org · Jul 17, 2024 · a063957 · a063957
1 parent aa6716e
commit a063957
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/scala/SMTLIB2Spec.scala b/src/test/scala/SMTLIB2Spec.scala
@@ -447,6 +447,7 @@ class SMTLIB2Spec extends AnyFlatSpec {
   }
   "issue-253.ucl" should "fail all 2 assertions." in {
     SMTLIB2Spec.expectedFails("./test/issue-253.ucl", 2)
+  }
   "issue-255.ucl" should "faill single assertion." in {
     SMTLIB2Spec.expectedFails("./test/issue-255.ucl", 1)
   }