made executable again

[helm.git] / helm / software / components / tactics / autoTypes.mli

diff --git a/helm/software/components/tactics/autoTypes.mli b/helm/software/components/tactics/autoTypes.mli
index ab05564ff3c2099819feab9d3e971d6d5d41d8a9..745438462c7bad0effb096c8edae1f4f7639df78 100644 (file)
--- 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