src/Pure/Isar/toplevel.ML
changeset 51239 67cc209493b2
parent 51233 7b0c723562af
child 51241 83252b0605be
     1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Feb 22 14:25:52 2013 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Feb 22 14:38:52 2013 +0100
     1.3 @@ -721,7 +721,7 @@
     1.4          val estimate = fold (curry Time.+ o get_timing) proof_trs Time.zeroTime;
     1.5          val pri =
     1.6            if estimate = Time.zeroTime then ~1
     1.7 -	  else Int.min (Real.floor (Real.max (Math.log10 (Time.toReal estimate), ~3.0)) - 3, ~1);
     1.8 +          else Int.min (Real.floor (Real.max (Math.log10 (Time.toReal estimate), ~3.0)) - 3, ~1);
     1.9  
    1.10          val future_proof = Proof.global_future_proof
    1.11            (fn prf =>