# HG changeset patch
# User webertj
# Date 1158336411 -7200
# Node ID 893e7a9546ff2997f13a8cf451872963bedf017f
# Parent  dc294418ff17aa7411e6c0f0469f6073bd74454a
trivial whitespace change

diff -r dc294418ff17 -r 893e7a9546ff src/HOL/Tools/refute.ML
--- a/src/HOL/Tools/refute.ML	Fri Sep 15 16:49:41 2006 +0200
+++ b/src/HOL/Tools/refute.ML	Fri Sep 15 18:06:51 2006 +0200
@@ -351,7 +351,7 @@
 		val minsize   = read_int (allparams, "minsize")
 		val maxsize   = read_int (allparams, "maxsize")
 		val maxvars   = read_int (allparams, "maxvars")
-      val maxtime   = read_int (allparams, "maxtime")
+		val maxtime   = read_int (allparams, "maxtime")
 		(* string *)
 		val satsolver = read_string (allparams, "satsolver")
 		(* all remaining parameters of the form "string=int" are collected in  *)