X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftest.ma;h=922d36cc25cc155218d095eaccb4e511012c8c9c;hb=15212e44902f25536f6e2de4bec4cedcd9a9804d;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