1 files changed, 23 insertions, 23 deletions
diff --git a/test/thm.art b/test/thm.art
index 4fee8b2..4ce6a1c 100644
--- a/test/thm.art
+++ b/test/thm.art
@@ -1,23 +1,23 @@
-"x"
-"bool"
-typeOp
-nil
-opType
-1
-def
-var
-varTerm
-assume
-"y"
-1
-ref
-var
-varTerm
-nil
-cons
-"z"
-1
-remove
-var
-varTerm
-thm
+"x"
+"bool"
+typeOp
+nil
+opType
+1
+def
+var
+varTerm
+assume
+"y"
+1
+ref
+var
+varTerm
+nil
+cons
+"z"
+1
+remove
+var
+varTerm
+thm