First attempt at svn commit of developments.

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

diff --git a/matitaB/components/extlib/hExtlib.ml b/matitaB/components/extlib/hExtlib.ml
index 0b13cd83e4566013b74ec3b18019c4d2e542482d..6b2b68d68c8c75b8b2c1beaf09e43c5afa382c3c 100644 (file)
--- a/matitaB/components/extlib/hExtlib.ml
+++ b/matitaB/components/extlib/hExtlib.ml
@@ -687,3 +687,9 @@ let rec list_skip n l =
   | _, [] -> assert false
 ;;
 
+let utf8_parsed_text s floc =
+  let start, stop = loc_of_floc floc in
+  let len = stop - start in
+  let res = Netconversion.ustring_sub `Enc_utf8 start len s in
+  res, String.length res
+