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

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index f332fcbd1..83bdeb36f 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+open Printf
+
 let is_dir fname = (Unix.stat fname).Unix.st_kind = Unix.S_DIR
 let is_regular fname = (Unix.stat fname).Unix.st_kind = Unix.S_REG
 
@@ -37,3 +39,9 @@ let input_file fname =
 let is_proof_script fname = true  (** TODO Zack *)
 let is_proof_object fname = true  (** TODO Zack *)
 
+let append_phrase_sep s =
+  if not (Pcre.pmatch ~pat:(sprintf "%s$" BuildTimeConf.phrase_sep) s) then
+    s ^ BuildTimeConf.phrase_sep
+  else
+    s
+