X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fextlib%2FhExtlib.ml;h=78ac69126e19bc857feb8426b97ce24438142c0b;hb=2f19651bcec24abfb1bf15ff7e1387daad1f6638;hp=0b13cd83e4566013b74ec3b18019c4d2e542482d;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/extlib/hExtlib.ml b/matitaB/components/extlib/hExtlib.ml
index 0b13cd83e..78ac69126 100644
--- a/matitaB/components/extlib/hExtlib.ml
+++ b/matitaB/components/extlib/hExtlib.ml
@@ -224,6 +224,7 @@ let sharing_map_acc f acc l =
   !final_acc, if !unchanged then l else l1
 ;;
 
+(* expects the list to be sorted *)
 let rec list_uniq ?(eq=(=)) = function 
   | [] -> []
   | h::[] -> [h]
@@ -687,3 +688,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
+