# HG changeset patch
# User bulwahn
# Date 1291362047 -3600
# Node ID 1332f6e856b91ea0cf2ef3c1c45fc6f49ed0c2d1
# Parent  7c652e4a924a060d548700214cefa5064070b4de
corrected indentation

diff -r 7c652e4a924a -r 1332f6e856b9 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Fri Dec 03 08:40:47 2010 +0100
+++ b/src/Tools/quickcheck.ML	Fri Dec 03 08:40:47 2010 +0100
@@ -188,12 +188,12 @@
     fun with_size k timings =
       if k > Config.get ctxt size then (NONE, timings)
       else
-         let
-           val _ = if Config.get ctxt quiet then () else Output.urgent_message ("Test data size: " ^ string_of_int k);
-           val _ = current_size := k
-           val (result, timing) = cpu_time ("size " ^ string_of_int k)
-             (fn () => (fst (tester k)) handle Match => (if Config.get ctxt quiet then ()
-             else warning "Exception Match raised during quickcheck"; NONE))
+        let
+          val _ = if Config.get ctxt quiet then () else Output.urgent_message ("Test data size: " ^ string_of_int k);
+          val _ = current_size := k
+          val (result, timing) = cpu_time ("size " ^ string_of_int k)
+            (fn () => (fst (tester k)) handle Match => (if Config.get ctxt quiet then ()
+              else warning "Exception Match raised during quickcheck"; NONE))
         in
           case result of
             NONE => with_size (k + 1) (timing :: timings)
@@ -276,16 +276,16 @@
 fun monomorphic_term thy insts default_T = 
   let
     fun subst (T as TFree (v, S)) =
-          let
-            val T' = AList.lookup (op =) insts v
-              |> the_default default_T
-          in if Sign.of_sort thy (T', S) then T'
-            else raise (WELLSORTED ("For instantiation with default_type " ^ Syntax.string_of_typ_global thy default_T ^
-              ":\n" ^ Syntax.string_of_typ_global thy T' ^
-              " to be substituted for variable " ^
-              Syntax.string_of_typ_global thy T ^ " does not have sort " ^
-              Syntax.string_of_sort_global thy S))
-          end
+      let
+        val T' = AList.lookup (op =) insts v
+          |> the_default default_T
+      in if Sign.of_sort thy (T', S) then T'
+        else raise (WELLSORTED ("For instantiation with default_type " ^ Syntax.string_of_typ_global thy default_T ^
+          ":\n" ^ Syntax.string_of_typ_global thy T' ^
+          " to be substituted for variable " ^
+          Syntax.string_of_typ_global thy T ^ " does not have sort " ^
+          Syntax.string_of_sort_global thy S))
+      end
       | subst T = T;
   in (map_types o map_atyps) subst end;