X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2FautoTypes.ml;h=5a84c2c2ba73bab691fdd39cc606ebfa718346a9;hb=4480f2625fce077f7389dde595920d25748820eb;hp=9031a0338736fa152c1efd1add013abc95a66b5c;hpb=fa8d697d64d04b11ca967ec983990837c27b1122;p=helm.git

diff --git a/components/tactics/autoTypes.ml b/components/tactics/autoTypes.ml
index 9031a0338..5a84c2c2b 100644
--- a/components/tactics/autoTypes.ml
+++ b/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;