X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftest.ma;h=922d36cc25cc155218d095eaccb4e511012c8c9c;hb=0e4874caf332975d80e24821268b8280b3b5e30f;hp=63a4794a140447e64cdfb4eb0eacf529c2759d88;hpb=f811e07f481b135bd7c621c2d10a268dc35d599b;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