merged cic_notation with matita: good luck!

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

diff --git a/helm/matita/tests/fguidi.ma b/helm/matita/tests/fguidi.ma
index 565a5c49aa88077cfabdc1b0c996959fdbe56f6f..8958b250de097fe9974b0406c1798d9c7e15cd74 100644 (file)
--- a/helm/matita/tests/fguidi.ma
+++ b/helm/matita/tests/fguidi.ma
@@ -95,4 +95,5 @@ theorem le_trans: \forall x,y. (le x y) \to \forall z. (le y z) \to (le x z).
 intros 1. elim x. 
 clear x. auto.
 clear H. fwd H1 [H]. decompose H.
-*)
\ No newline at end of file
+*)
+