X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=f3cd17caf1c05b5463f014d7f5d46cd463034754;hb=e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf;hp=9ef663ee11fe12c8ddc398f01592068fb668c060;hpb=9dac2c325dca1b5b92d6ba11dadf470538bae28e;p=helm.git

diff --git a/matitaB/components/ng_tactics/nnAuto.ml b/matitaB/components/ng_tactics/nnAuto.ml
index 9ef663ee1..f3cd17caf 100644
--- 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