X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaMisc.ml;h=1a55795a5536666d5c0adc993bdb5d1bcc1d7a13;hb=f38e8fafcf040258b54b4032562753a876a8a94e;hp=83bdeb36f6ea3fcd55f6e7effc7635d00fad9ee2;hpb=142d3076f2a4dc17d9045c2bba4d4b01eddfd008;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index 83bdeb36f..1a55795a5 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -45,3 +45,7 @@ let append_phrase_sep s =
   else
     s
 
+let strip_trailing_blanks =
+  let rex = Pcre.regexp "\\s*$" in
+  fun s -> Pcre.replace ~rex s
+