diff -r 223f01b32f17 -r b6c27cf04fe9 src/HOL/Tools/Nitpick/nitpick_hol.ML
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Wed May 04 18:48:25 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Wed May 04 19:35:48 2011 +0200
@@ -980,7 +980,7 @@
                     handle TYPE ("Nitpick_HOL.card_of_type", _, _) =>
                            default_card)
 
-(* Similar to similarly named function in "Sledgehammer_ATP_Translate". *)
+(* Similar to "Sledgehammer_ATP_Translate.tiny_card_of_type". *)
 fun bounded_exact_card_of_type hol_ctxt finitizable_dataTs max default_card
                                assigns T =
   let