X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fcommit_test2.ma;h=786ee682f050486daa901aadf7922f009402c0de;hb=784f0d4d7cff3700363affe647f7b8b218726fcb;hp=51bd8abb100ee5d9daab7a1646573ae7882d6b32;hpb=76e29b7144151db29477a28a5cbca78d00792991;p=helm.git

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