X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoTypes.mli;h=745438462c7bad0effb096c8edae1f4f7639df78;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=ab05564ff3c2099819feab9d3e971d6d5d41d8a9;hpb=66faca1dc849662e27d760b950294ef66a5741b3;p=helm.git

diff --git a/helm/software/components/tactics/autoTypes.mli b/helm/software/components/tactics/autoTypes.mli
index ab05564ff..745438462 100644
--- a/helm/software/components/tactics/autoTypes.mli
+++ b/helm/software/components/tactics/autoTypes.mli
@@ -35,6 +35,8 @@ type flags = {
   close_more : bool;
   dont_cache_failures: bool;
   do_types: bool;
+  skip_trie_filtering: bool;
+  skip_context : bool;
 }
 
 val default_flags : unit -> flags