(** xxx **) ==> (** xxx *)

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 60fc01032cb9ed52ca0908ca9808010e2916fa85..6e074787cc61477ed925b2a687ec21a157490927 100644 (file)
--- 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