X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftest.ma;h=922d36cc25cc155218d095eaccb4e511012c8c9c;hb=d02c188ee3d4bd9885490447e63453adb2cb4ea1;hp=63a4794a140447e64cdfb4eb0eacf529c2759d88;hpb=d9c3d76b3a4d3917d95fd7e64bf1a64b53598c9c;p=helm.git

diff --git a/weblib/test.ma b/weblib/test.ma
index 63a4794a1..922d36cc2 100644
--- a/weblib/test.ma
+++ b/weblib/test.ma
@@ -55,4 +55,4 @@
  *    examples that the user is encouraged to try after chapter1.ma)
  * 3) follow the instructions in the script.
  *
- *)
+ *)
\ No newline at end of file