Minor changes.

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

diff --git a/components/tactics/autoTypes.ml b/components/tactics/autoTypes.ml
index 17005b06d40d7e4ae06710a51a9f0ad3a1474dd7..93205c8362f5289957ce06f8d3973bd844c69a42 100644 (file)
--- a/components/tactics/autoTypes.ml
+++ b/components/tactics/autoTypes.ml
@@ -33,8 +33,12 @@ type flags = {
 }
 
 let default_flags _ =
-  {maxwidth=3;maxdepth=3;timeout=Unix.gettimeofday() +.
-  3.0;use_paramod=true;use_only_paramod=false;dont_cache_failures=false}
+  {maxwidth=3;
+   maxdepth=3;
+   timeout=Unix.gettimeofday() +.3.0;
+   use_paramod=true;
+   use_only_paramod=false;
+   dont_cache_failures=false}
 ;;
 
 (* (metasenv, subst, (metano,depth)list *)