X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2Fmake_table.ml;h=9aaa4a06c8bd28fa10c89de8104a2885d4ab0583;hb=77a4eb806ae4278bf15ee2f88e53e84347c84e81;hp=dc4a335355d0f7b50d93c5a6c725d3dd99e9358b;hpb=b59af8af91b819bfac1137e3a4d37c35c6f38f1e;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/make_table.ml b/helm/ocaml/cic_disambiguation/make_table.ml
index dc4a33535..9aaa4a06c 100644
--- a/helm/ocaml/cic_disambiguation/make_table.ml
+++ b/helm/ocaml/cic_disambiguation/make_table.ml
@@ -91,7 +91,7 @@ let parse_from_xml () =
     List.iter
       (fun (typ, fname) ->
         let entry = `Entry_document [ `Extend_dtd_fully; `Parse_xml_decl ] in
-        let config = { default_config with encoding = `Enc_utf8 } in
+        let config = PxpHelmConf.pxp_config in
         let entity_manager =
           create_entity_manager ~is_document:true config (from_file fname)
         in