Modifications to auto due to the introduction of the universe in

[helm.git] / components / tactics / autoTypes.ml

diff --git a/components/tactics/autoTypes.ml b/components/tactics/autoTypes.ml
index 9031a0338736fa152c1efd1add013abc95a66b5c..5a84c2c2ba73bab691fdd39cc606ebfa718346a9 100644 (file)
--- 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;