cosmetics
authorblanchet
Thu Oct 21 14:54:39 2010 +0200 (2010-10-21)
changeset 40058b4f62d0660e0
parent 40047 6547d0f079ed
child 40059 6ad9081665db
cosmetics
src/HOL/Tools/Nitpick/nitpick_mono.ML
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Wed Oct 20 21:26:51 2010 -0700
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Thu Oct 21 14:54:39 2010 +0200
     1.3 @@ -448,8 +448,7 @@
     1.4  
     1.5  fun add_notin_mtype_fv sn M ((lits, comps, sexps) : constraint_set) =
     1.6      (trace_msg (fn () => "*** Add " ^ string_for_mtype M ^ " is " ^
     1.7 -                         (case sn of Minus => "concrete" | Plus => "complete") ^
     1.8 -                         ".");
     1.9 +                         (case sn of Minus => "concrete" | Plus => "complete"));
    1.10       case do_notin_mtype_fv sn [] M (SOME (lits, sexps)) of
    1.11         NONE => (trace_msg (K "**** Unsolvable"); raise UNSOLVABLE ())
    1.12       | SOME (lits, sexps) => (lits, comps, sexps))