diff -r 6547d0f079ed -r b4f62d0660e0 src/HOL/Tools/Nitpick/nitpick_mono.ML
--- 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))