please, commit files with debug=false otherwise the distributed matita prints a ton...

[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 a026a908fa659fd869d5720673fc9a534e934314..306c42daa75c22c73af7b52a399def3cfac19b67 100644 (file)
--- a/helm/software/components/tactics/autoTypes.mli
+++ b/helm/software/components/tactics/autoTypes.mli
@@ -27,6 +27,7 @@ type flags = {
   maxwidth: int;
   maxsize: int;
   maxdepth: int;
+  maxgoalsizefactor : int;
   timeout: float;
   use_library: bool;
   use_paramod: bool;