# HG changeset patch
# User blanchet
# Date 1275404661 -7200
# Node ID 8ad1e3768b4f9cb1a27d35fd04dd8f464990ecb0
# Parent  5c47d633c84d1d1673e589968e7d112a3f6f686a
adapt example

diff -r 5c47d633c84d -r 8ad1e3768b4f src/HOL/Nitpick_Examples/Mono_Nits.thy
--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy	Tue Jun 01 16:17:46 2010 +0200
+++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy	Tue Jun 01 17:04:21 2010 +0200
@@ -15,7 +15,7 @@
 exception FAIL
 
 val subst = []
-val defs = Nitpick_HOL.all_axioms_of @{theory} subst |> #1
+val defs = Nitpick_HOL.all_axioms_of @{context} subst |> #1
 val def_table = Nitpick_HOL.const_def_table @{context} subst defs
 val hol_ctxt : Nitpick_HOL.hol_context =
   {thy = @{theory}, ctxt = @{context}, max_bisim_depth = ~1, boxes = [],