--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML Wed Oct 20 21:26:51 2010 -0700
+++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML Thu Oct 21 14:54:39 2010 +0200
@@ -448,8 +448,7 @@
fun add_notin_mtype_fv sn M ((lits, comps, sexps) : constraint_set) =
(trace_msg (fn () => "*** Add " ^ string_for_mtype M ^ " is " ^
- (case sn of Minus => "concrete" | Plus => "complete") ^
- ".");
+ (case sn of Minus => "concrete" | Plus => "complete"));
case do_notin_mtype_fv sn [] M (SOME (lits, sexps)) of
NONE => (trace_msg (K "**** Unsolvable"); raise UNSOLVABLE ())
| SOME (lits, sexps) => (lits, comps, sexps))