ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_proof_checking / utilities / create_environment.ml

diff --git a/helm/ocaml/cic_proof_checking/utilities/create_environment.ml b/helm/ocaml/cic_proof_checking/utilities/create_environment.ml
index dab8b8452fcb8fab4ebae098793c919a18981225..8a8524d24fdffad4079dbe7d484b334cf8c36266 100644 (file)
--- a/helm/ocaml/cic_proof_checking/utilities/create_environment.ml
+++ b/helm/ocaml/cic_proof_checking/utilities/create_environment.ml
@@ -63,7 +63,7 @@ let _ =
         print_endline uri;
         flush stdout;
         let uri = UriManager.uri_of_string uri in
-        ignore (CicTypeChecker.typecheck uri CicUniv.empty_ugraph)
+        ignore (CicTypeChecker.typecheck uri)
 (*       with Sys.Break -> () *)
     done
   with End_of_file | Sys.Break ->