From 6b3ec8b32b76c40910d7827aae19817d0d579e01 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 May 2005 15:55:37 +0000 Subject: [PATCH] - ported to new CicParser interface which requires an uri argument to be passed to parsing functions - removed orrible hack for sort parsing --- helm/ocaml/cic_proof_checking/cicEnvironment.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml index 367336f7f..ad61bcd04 100644 --- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml +++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml @@ -513,13 +513,10 @@ let get_object_to_add uri = in (* restarts the numbering of named universes (the ones inside the cic) *) let _ = CicUniv.restart_numbering () in - (* HACK ORRIBILE: fa in modo che il parser metta degli universi fresh non - * anonimi *) - let _ = CicParser3.set_uri uri in let obj = try let time = Unix.gettimeofday() in - let rc = CicParser.obj_of_xml filename bodyfilename in + let rc = CicParser.obj_of_xml uri filename bodyfilename in total_parsing_time := !total_parsing_time +. ((Unix.gettimeofday()) -. time ); rc -- 2.39.2