ported to pxp 1.1.95's event parser

[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 9aaa4a06c8bd28fa10c89de8104a2885d4ab0583..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