diff options
-rw-r--r-- | test-suite/output/Arith.out | 4 | ||||
-rw-r--r-- | test-suite/output/Arith.v | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/test-suite/output/Arith.out b/test-suite/output/Arith.out deleted file mode 100644 index 210dd6ad3..000000000 --- a/test-suite/output/Arith.out +++ /dev/null @@ -1,4 +0,0 @@ -[n:nat](S (S n)) - : nat->nat -[n:nat](S (plus n n)) - : nat->nat diff --git a/test-suite/output/Arith.v b/test-suite/output/Arith.v deleted file mode 100644 index 39989dfc3..000000000 --- a/test-suite/output/Arith.v +++ /dev/null @@ -1,2 +0,0 @@ -Check [n](S (S n)). -Check [n](S (plus n n)). |