X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoTypes.mli;h=306c42daa75c22c73af7b52a399def3cfac19b67;hb=34d2f477be65e3fd26bfb6d43a3dd0807274549b;hp=a026a908fa659fd869d5720673fc9a534e934314;hpb=750d027aedc76aac9def8885dc2bdb6ccdc049d9;p=helm.git

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