X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fcommit_test2.ma;h=c830cde3be64345ff64d6d236ce79f496d4ada8e;hb=c4c8ca100c2fecb3a17aea95b925f7dc19856eea;hp=6745f532a52d9603b1d8beb542f7fa4411bd87cf;hpb=d9c3d76b3a4d3917d95fd7e64bf1a64b53598c9c;p=helm.git

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