X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoCache.ml;h=882a1839309ff21a2cc5ee5284aaf33082deb329;hb=38ec119c163b0e6f97a9800933d5b71c065332e8;hp=7458e577748bd99e731f9592bbdeebceac534e80;hpb=d0e058e37a75dcb0247b0b0efbe99e68ce1ceca4;p=helm.git

diff --git a/helm/software/components/tactics/autoCache.ml b/helm/software/components/tactics/autoCache.ml
index 7458e5777..882a18393 100644
--- a/helm/software/components/tactics/autoCache.ml
+++ b/helm/software/components/tactics/autoCache.ml
@@ -153,3 +153,6 @@ let cache_size (_,oldcache) =
 let cache_clean (univ,oldcache) = 
   univ,List.filter (function (_,Succeded _) -> true | _ -> false) oldcache
 ;;
+let cache_reset_underinspection (u,c) =
+  u,List.filter (function (_,UnderInspection) -> false | _ -> true) c
+;;