From 432d5ebbfaafba9f880973b733a348b951d7bec5 Mon Sep 17 00:00:00 2001
From: SimonGuilloud <sim-guilloud@bluewin.ch>
Date: Sun, 15 May 2022 23:29:45 +0200
Subject: [PATCH] Fix missing line.
---
src/main/scala/lisa/kernel/Printer.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/lisa/kernel/Printer.scala b/src/main/scala/lisa/kernel/Printer.scala
index e5e2f5b4..b741d5db 100644
--- a/src/main/scala/lisa/kernel/Printer.scala
+++ b/src/main/scala/lisa/kernel/Printer.scala
@@ -294,6 +294,7 @@ object Printer {
case SCSubproof(_, _, false) => pretty("Subproof (hidden)")
case other => throw new Exception(s"No available method to print this proof step, consider updating Printer.scala\n$other")
}
+ Seq(line)
}
}
}
--
GitLab