X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2Futilities%2Fcreate_environment.ml;h=8a8524d24fdffad4079dbe7d484b334cf8c36266;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=dab8b8452fcb8fab4ebae098793c919a18981225;hpb=442bd273b4f1c987107d0c59775a9f241a9447c6;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/utilities/create_environment.ml b/helm/ocaml/cic_proof_checking/utilities/create_environment.ml
index dab8b8452..8a8524d24 100644
--- 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 ->