# HG changeset patch
# User blanchet
# Date 1320738984 -3600
# Node ID 1fac64bbdb4f342511cc3910a824fc5f1749d7a0
# Parent  36478a5f6104f5407792d29d8bac420b02abe151
tweaked comment

diff -r 36478a5f6104 -r 1fac64bbdb4f src/HOL/Tools/Nitpick/nitpick_scope.ML
--- a/src/HOL/Tools/Nitpick/nitpick_scope.ML	Tue Nov 08 08:56:23 2011 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML	Tue Nov 08 08:56:24 2011 +0100
@@ -447,7 +447,7 @@
     fun is_concrete facto =
       is_word_type T orelse
       (* FIXME: looks wrong other types than just functions might be
-         abstract. *)
+         abstract. "is_complete" is also suspicious. *)
       xs |> maps (binder_types o snd) |> maps binder_types
          |> forall (has_exact_card hol_ctxt facto finitizable_dataTs
                                    card_assigns)