X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoCache.mli;h=c4c99c3821c2b8d70506542233fed3a752f27f10;hb=bca340f9c590e6530f8346fddd61c9fa0ae7f411;hp=61c658811fec86dd1934c632c40949c35a736fa2;hpb=7d360f2321b3d8a37c23f6c44a496a2f6a019562;p=helm.git

diff --git a/helm/software/components/tactics/autoCache.mli b/helm/software/components/tactics/autoCache.mli
index 61c658811..c4c99c382 100644
--- a/helm/software/components/tactics/autoCache.mli
+++ b/helm/software/components/tactics/autoCache.mli
@@ -38,6 +38,7 @@ val cache_add_failure: cache -> cache_key -> int -> cache
 val cache_add_success: cache -> cache_key -> Cic.term -> cache
 val cache_add_underinspection: cache -> cache_key -> int -> cache
 val cache_remove_underinspection: cache -> cache_key -> cache
+val cache_reset_underinspection: cache -> cache
 val cache_empty: cache
 val cache_print: Cic.context -> cache -> string
 val cache_size: cache -> int