From b17f04ca2d984e6a26e4dad9d35b881f64566951 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 31 Aug 2005 08:28:29 +0000 Subject: [PATCH] (** xxx **) ==> (** xxx *) --- helm/matita/matitaScript.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2