Tweaked Premise error message.

sireum · Dec 9, 2024 · 3743542 · 3743542
1 parent fafffad
commit 3743542
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/AutoPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/AutoPlugin.scala
@@ -435,7 +435,7 @@ object AutoPlugin {
                   }
                 }
                 reporter.error(posOpt, Logika.kind,
-                  st"""The stated claim has not been proven before nor is a premise in the path conditions:
+                  st"""The stated claim has not been proven before nor is a premise in the path conditions.
                       |{
                       |  ${(for (e <- pathConditions) yield e.prettyST, ";\n")}
                       |}""".render)