--- a/src/HOL/Tools/Nitpick/nitpick.ML Wed Apr 08 16:24:22 2015 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML Wed Apr 08 19:39:08 2015 +0200
@@ -300,7 +300,7 @@
val psimp_table = const_psimp_table ctxt subst
val choice_spec_table = const_choice_spec_table ctxt subst
val nondefs =
- nondefs |> filter_out (is_choice_spec_axiom thy choice_spec_table)
+ nondefs |> filter_out (is_choice_spec_axiom ctxt choice_spec_table)
val intro_table = inductive_intro_table ctxt subst def_tables
val ground_thm_table = ground_theorem_table thy
val ersatz_table = ersatz_table ctxt