trivial whitespace change
authorwebertj
Fri Sep 15 18:06:51 2006 +0200 (2006-09-15 ago)
changeset 20544893e7a9546ff
parent 20543 dc294418ff17
child 20545 4c1068697159
trivial whitespace change
src/HOL/Tools/refute.ML
     1.1 --- a/src/HOL/Tools/refute.ML	Fri Sep 15 16:49:41 2006 +0200
     1.2 +++ b/src/HOL/Tools/refute.ML	Fri Sep 15 18:06:51 2006 +0200
     1.3 @@ -351,7 +351,7 @@
     1.4  		val minsize   = read_int (allparams, "minsize")
     1.5  		val maxsize   = read_int (allparams, "maxsize")
     1.6  		val maxvars   = read_int (allparams, "maxvars")
     1.7 -      val maxtime   = read_int (allparams, "maxtime")
     1.8 +		val maxtime   = read_int (allparams, "maxtime")
     1.9  		(* string *)
    1.10  		val satsolver = read_string (allparams, "satsolver")
    1.11  		(* all remaining parameters of the form "string=int" are collected in  *)