From 572417ec66fd4ba7482aeefa062f509914b4729b Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 20 Oct 2006 15:39:46 +0000
Subject: [PATCH] Minor changes.

---
 helm/software/components/tactics/autoTypes.ml  | 8 ++++++--
 helm/software/components/tactics/autoTypes.mli | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/helm/software/components/tactics/autoTypes.ml b/helm/software/components/tactics/autoTypes.ml
index 17005b06d..93205c836 100644
--- a/helm/software/components/tactics/autoTypes.ml
+++ b/helm/software/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/helm/software/components/tactics/autoTypes.mli b/helm/software/components/tactics/autoTypes.mli
index f1a078359..d3081b0ab 100644
--- a/helm/software/components/tactics/autoTypes.mli
+++ b/helm/software/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
-- 
2.39.5