This commit patches the environment and the library so that their status is

[helm.git] / matitaB / components / ng_tactics / nnAuto.ml

diff --git a/matitaB/components/ng_tactics/nnAuto.ml b/matitaB/components/ng_tactics/nnAuto.ml
index 9ef663ee11fe12c8ddc398f01592068fb668c060..f3cd17caf1c05b5463f014d7f5d46cd463034754 100644 (file)
--- a/matitaB/components/ng_tactics/nnAuto.ml
+++ b/matitaB/components/ng_tactics/nnAuto.ml
@@ -450,7 +450,7 @@ let ground_instances status gl =
            debug_print (lazy (status#ppterm ctx [] [] t));
            List.iter 
              (fun (uri,_,_,_,_) as obj -> 
-                NCicEnvironment.invalidate_item (`Obj (uri, obj))) 
+                NCicEnvironment.invalidate_item status (`Obj (uri, obj))) 
              objs;
            ())
       gl