X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaScript.ml;h=6e074787cc61477ed925b2a687ec21a157490927;hb=91a095f0686ee569ba035e4e30c7d071588cb8e7;hp=60fc01032cb9ed52ca0908ca9808010e2916fa85;hpb=efae8adf7d5b42bff9d96cafb7abc0a09f08da32;p=helm.git

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 60fc01032..6e074787c 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -43,9 +43,9 @@ let newline_RE = Pcre.regexp "\n"
  
 let comment str =
   if Pcre.pmatch ~rex:multiline_RE str then
-    "\n(** " ^ (Pcre.replace ~rex:newline_RE str) ^ " **)"
+    "\n(** " ^ (Pcre.replace ~rex:newline_RE str) ^ " *)"
   else
-    "\n(**\n" ^ str ^ "\n**)"
+    "\n(**\n" ^ str ^ "\n*)"
                      
 let first_line s =
   let s = Pcre.replace ~rex:heading_nl_RE s in