changeset 33968 | f94fb13ecbb3 |
parent 33891 | 48463e8876bd |
child 33978 | 2380c1dac86e |
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Nov 30 11:42:48 2009 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Nov 30 11:42:49 2009 +0100 @@ -516,7 +516,7 @@ | NONE => NONE (* FIXME: use antiquotation for "code_numeral" below or detect "rep_datatype", - e.g., by adding a field to "DatatypeAux.info". *) + e.g., by adding a field to "Datatype_Aux.info". *) (* string -> bool *) fun is_basic_datatype s = s mem [@{type_name "*"}, @{type_name bool}, @{type_name unit},