From 4da95c0d09713430a3c58b1b43000f611c1cce69 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 29 Apr 2005 08:08:49 +0000 Subject: [PATCH] fix (ask Enrico :-) --- helm/ocaml/cic_proof_checking/cicEnvironment.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml index 09b8ae88a..be0be0add 100644 --- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml +++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml @@ -538,8 +538,7 @@ let get_object_to_add uri = (********************************************** TASSI: should fail when universes will be ON ***********************************************) - (** (Some CicUniv.empty_ugraph,None) *) - (None,None) + (Some CicUniv.empty_ugraph,None) in cleanup(); obj,ugraph -- 2.39.2