From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 22 Jul 2005 14:33:09 +0000 (+0000)
Subject: CicEnvironment.remove did not remove the object from the unchecked_list.
X-Git-Tag: V_0_7_2~103
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d922e6065ae8adadf09afbce0f3b2abe72b5bc1c;p=helm.git

CicEnvironment.remove did not remove the object from the unchecked_list.
---

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 1f2c6be0e..c111acd6c 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -460,7 +460,11 @@ module Cache :
      if !frozen_list <> [] then
        failwith "CicEnvironment.remove while type checking"
      else
-       HT.remove cacheOfCookedObjects uri 
+      begin
+       HT.remove cacheOfCookedObjects uri;
+       unchecked_list :=
+        List.filter (fun (uri',_) -> not (UriManager.eq uri uri')) !unchecked_list
+      end
    ;;
    
    let  list_all_cooked_uris () =