X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoTypes.mli;h=745438462c7bad0effb096c8edae1f4f7639df78;hb=82baf094141d9ef518d681b8cebcc180bca14d2c;hp=306c42daa75c22c73af7b52a399def3cfac19b67;hpb=cf4088e2cabcbce9b112f1e1fd5cfd38fe16d427;p=helm.git

diff --git a/helm/software/components/tactics/autoTypes.mli b/helm/software/components/tactics/autoTypes.mli
index 306c42daa..745438462 100644
--- 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