X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fcommit_test2.ma;h=786ee682f050486daa901aadf7922f009402c0de;hb=15212e44902f25536f6e2de4bec4cedcd9a9804d;hp=6745f532a52d9603b1d8beb542f7fa4411bd87cf;hpb=5207706bef24348b6ea278b44426c94e852c639e;p=helm.git

diff --git a/weblib/commit_test2.ma b/weblib/commit_test2.ma
index 6745f532a..786ee682f 100644
--- a/weblib/commit_test2.ma
+++ b/weblib/commit_test2.ma
@@ -1 +1,7 @@
-axiom pluto : Prop.
+(* test2
+
+foo
+
+ *)
+
+axiom pluto : Prop.
\ No newline at end of file