Rewriting system.

sireum · Mar 14, 2024 · 6ed64f9 · 6ed64f9
1 parent 59a8602
commit 6ed64f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jvm/src/test/scala/org/sireum/logika/example/list.sc b/jvm/src/test/scala/org/sireum/logika/example/list.sc
@@ -268,7 +268,7 @@ object List {
       Deduce(
         //@formatter:off
         1 (  0 < c                      ) by Premise,
-        2 (  empty[T](c, s).wellFormed  ) by RSimpl(RS(Queue.$.wellFormed _))
+        2 (  empty[T](c, s).wellFormed  ) by RSimpl(RS(Queue.$.wellFormed _)) // Auto
         //@formatter:on
       )
     }