X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.mli;h=615cdf9be37675fbab987ce27bb3257dcba8221f;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=99244f47f7c25e2bef0efe258507c9e5b49b81c0;hpb=d1010e05c0d73e3b44d3d971592bd8be9e1e0752;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.mli b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
index 99244f47f..615cdf9be 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.mli
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
@@ -83,3 +83,6 @@ val dump_to_channel : ?callback:(string -> unit) -> out_channel -> unit
 val restore_from_channel : ?callback:(string -> unit) -> in_channel -> unit
 val empty : unit -> unit
 
+(* for filtering in tacticChaser *)
+(* NEW *)
+val in_cache : UriManager.uri -> bool