Tracing mechanism for auto. Interface changed to solve an ambiguity between

[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 306c42daa75c22c73af7b52a399def3cfac19b67..745438462c7bad0effb096c8edae1f4f7639df78 100644 (file)
--- a/helm/software/components/tactics/autoTypes.mli
+++ b/helm/software/components/tactics/autoTypes.mli
@@ -33,7 +33,10 @@ type flags = {
   use_paramod: bool;
   use_only_paramod : bool;
   close_more : bool;
-  dont_cache_failures: bool
+  dont_cache_failures: bool;
+  do_types: bool;
+  skip_trie_filtering: bool;
+  skip_context : bool;
 }
 
 val default_flags : unit -> flags