--- a/src/HOL/Tools/Nitpick/nitpick_scope.ML Thu May 10 22:00:24 2012 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML Fri May 11 00:45:24 2012 +0200
@@ -450,7 +450,7 @@
has_exact_card hol_ctxt facto finitizable_dataTs card_assigns T
fun is_concrete facto =
is_word_type T orelse
- (* FIXME: looks wrong other types than just functions might be
+ (* FIXME: looks wrong; other types than just functions might be
abstract. "is_complete" is also suspicious. *)
xs |> maps (binder_types o snd) |> maps binder_types
|> forall (has_exact_card hol_ctxt facto finitizable_dataTs