From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 20 Oct 2006 15:39:46 +0000 (+0000)
Subject: Minor changes.
X-Git-Tag: make_still_working~6725
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=572417ec66fd4ba7482aeefa062f509914b4729b;p=helm.git

Minor changes.
---

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