fixed parse error for ocaml 3.08

[helm.git] / helm / ocaml / cic_disambiguation / make_table.ml

diff --git a/helm/ocaml/cic_disambiguation/make_table.ml b/helm/ocaml/cic_disambiguation/make_table.ml
index dc4a335355d0f7b50d93c5a6c725d3dd99e9358b..13301bce73bbb36ceb11aef5142d67a730c9c8d7 100644 (file)
--- 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