Minor changes.

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 *)

diff --git a/components/tactics/autoTypes.mli b/components/tactics/autoTypes.mli
index f1a078359c0c4e274812ee8668fb62f40a0d4c98..d3081b0abe9f10bb8d81f7b8cab027e881ddca7c 100644 (file)
--- a/components/tactics/autoTypes.mli
+++ b/components/tactics/autoTypes.mli
@@ -29,7 +29,7 @@ type flags = {
   timeout: float;
   use_paramod: bool;
   use_only_paramod : bool;
-  dont_cache_failures: bool;
+  dont_cache_failures: bool
 }
 
 val default_flags : unit -> flags