From c049b167b6a59e7a1e755c0f5a4bc00ce0826c48 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Oct 2006 15:39:46 +0000 Subject: [PATCH] Minor changes. --- components/tactics/autoTypes.ml | 8 ++++++-- components/tactics/autoTypes.mli | 2 +- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/components/tactics/autoTypes.ml b/components/tactics/autoTypes.ml index 17005b06d..93205c836 100644 --- 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 f1a078359..d3081b0ab 100644 --- 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 -- 2.39.2