]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_disambiguation/make_table.ml
use PxpHelmConf
[helm.git] / helm / ocaml / cic_disambiguation / make_table.ml
index dc4a335355d0f7b50d93c5a6c725d3dd99e9358b..9aaa4a06c8bd28fa10c89de8104a2885d4ab0583 100644 (file)
@@ -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