X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2FautoTypes.ml;h=5a84c2c2ba73bab691fdd39cc606ebfa718346a9;hb=12fe61bed1275c4c596501fb951a9197f50c93e8;hp=9031a0338736fa152c1efd1add013abc95a66b5c;hpb=c0a3562da676a9eb5dba565af89a3261a8c40363;p=helm.git

diff --git a/helm/software/components/tactics/autoTypes.ml b/helm/software/components/tactics/autoTypes.ml
index 9031a0338..5a84c2c2b 100644
--- a/helm/software/components/tactics/autoTypes.ml
+++ b/helm/software/components/tactics/autoTypes.ml
@@ -38,7 +38,7 @@ let default_flags _ =
   {maxwidth=3;
    maxdepth=3;
    timeout=Unix.gettimeofday() +.3.0;
-   use_library=true;
+   use_library=false;
    use_paramod=true;
    use_only_paramod=false;
    close_more=false;