X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteWalker.ml;h=742532113894b8d6202cae4435b290886cc6f848;hb=780561e45e8de50dd0063a0e369458ba67479872;hp=eb2eb22a5ca20b4ef9e2aeec18f42f2e397ed613;hpb=f462045c431db02d49ca3920bc8039974370d009;p=helm.git

diff --git a/helm/software/components/grafite_parser/grafiteWalker.ml b/helm/software/components/grafite_parser/grafiteWalker.ml
index eb2eb22a5..742532113 100644
--- a/helm/software/components/grafite_parser/grafiteWalker.ml
+++ b/helm/software/components/grafite_parser/grafiteWalker.ml
@@ -51,7 +51,8 @@ let grep_statement ?(status = LexiconEngine.initial_status) ?(callback = ignore)
     | Some (status, stm) when test stm -> (* "interesting" statement *)
         let loc_begin, loc_end = HExtlib.loc_of_floc (get_loc stm) in
         let raw_statement =
-          String.sub content loc_begin (loc_end - loc_begin) in
+          Netconversion.ustring_sub `Enc_utf8 loc_begin (loc_end - loc_begin)
+            content in
         callback raw_statement;
         exaust (raw_statement :: acc) status
     | Some (status, _stm) -> exaust acc status in