changeset 33580 | 45c33e97cb86 |
parent 33574 | 113e235e84e3 |
child 33732 | 385381514eed |
--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML Thu Nov 05 17:00:28 2009 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML Thu Nov 05 17:03:22 2009 +0100 @@ -215,7 +215,7 @@ | NONE => let val _ = Unsynchronized.change datatype_cache (cons (z, CRec z)) - val xs = datatype_constrs thy T + val xs = datatype_constrs ext_ctxt T val (all_Cs, constr_Cs) = fold_rev (fn (_, T') => fn (all_Cs, constr_Cs) => let