X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fmake_table.ml;h=13301bce73bbb36ceb11aef5142d67a730c9c8d7;hb=015263908d9142798bcbddbe4c4d13f71e08c5c3;hp=dc4a335355d0f7b50d93c5a6c725d3dd99e9358b;hpb=57603e5f5f5507c21ec7cb823e5bef708441b0d0;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/make_table.ml b/helm/ocaml/cic_disambiguation/make_table.ml
index dc4a33535..13301bce7 100644
--- a/helm/ocaml/cic_disambiguation/make_table.ml
+++ b/helm/ocaml/cic_disambiguation/make_table.ml
@@ -52,7 +52,7 @@ let iter_entities_file f pull_parser =
   ignore (find_first_tag pull_parser); (* <entities-table> *)
   let rec aux () =
     match pull_parser () with
-    | Some (E_start_tag ("entity", attrs, _)) ->
+    | Some (E_start_tag ("entity", attrs, _, _)) ->
 	(try
 	  let name = List.assoc "name" attrs in
 	  let value = List.assoc "value" attrs in
@@ -68,7 +68,7 @@ let iter_dictionary_file f pull_parser =
   ignore (find_first_tag pull_parser); (* <dictionary> *)
   let rec aux () =
     match pull_parser () with
-    | Some (E_start_tag ("entry", attrs, _)) ->
+    | Some (E_start_tag ("entry", attrs, _, _)) ->
 	(try
 	  let name = List.assoc "name" attrs in
 	  let value = List.assoc "val" attrs in
@@ -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