Rewriting system.

sireum · Feb 12, 2024 · 533dfd5 · 533dfd5
1 parent f62c86c
commit 533dfd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/logika/RewritingSystem.scala b/shared/src/main/scala/org/sireum/logika/RewritingSystem.scala
@@ -119,7 +119,7 @@ object RewritingSystem {
                                val assumptions: ISZ[(AST.CoreExp.Base, (AST.ProofAst.StepId, AST.CoreExp.Base))]) {
     @strictpure def toST: ST = {
       val assumptionsOpt: Option[ST] = if (assumptions.isEmpty) None() else Some(
-        st"""using assumptions
+        st"""using assumptions:
             |${(for (a <- assumptions) yield st"* ${a._2._2.prettyST} (${a._2._1}) for: ${a._1.prettyPatternST}", "\n")}
             |"""
       )