* parsing errors in tests were not detected and the rest of the file was

[helm.git] / helm / matita / tests / test7.ma

diff --git a/helm/matita/tests/test7.ma b/helm/matita/tests/test7.ma
deleted file mode 100644 (file)
index 3fc609d..0000000
--- a/helm/matita/tests/test7.ma
+++ /dev/null
@@ -1,5 +0,0 @@
-instance 
-  \lambda A:Set.
-  \lambda r:A \to A \to Prop.
-  \forall x:A.
-   r x x.
\ No newline at end of file