First attempt at svn commit of developments.

[helm.git] / matitaB / components / extlib / hExtlib.mli

diff --git a/matitaB/components/extlib/hExtlib.mli b/matitaB/components/extlib/hExtlib.mli
index a772d4a53061362b1d041b58c9a215b6904aaad2..394f259e4713a648fed880d11a8dcb8f6c432ea8 100644 (file)
--- a/matitaB/components/extlib/hExtlib.mli
+++ b/matitaB/components/extlib/hExtlib.mli
@@ -172,3 +172,5 @@ val chop_prefix: string -> string -> string
 val touch: string -> unit
 
 val profiling_enabled: bool ref
+
+val utf8_parsed_text : string -> Stdpp.location -> string * int