changeset 40993 | 52ee2a187cdb |
parent 40722 | 441260986b63 |
child 41001 | 11715564e2ad |
--- a/src/HOL/Tools/Nitpick/nitpick_preproc.ML Mon Dec 06 13:18:25 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_preproc.ML Mon Dec 06 13:18:25 2010 +0100 @@ -1261,7 +1261,7 @@ triple_lookup (type_match thy) monos T = SOME (SOME false)) in - fold (finitize_funs hol_ctxt binarize finitizes) Ts (nondef_ts, def_ts) + fold (finitize_funs hol_ctxt binarize finitizes 3) Ts (nondef_ts, def_ts) end (** Preprocessor entry point **)