
diff -r 4a1539a2c18e -r d84867127c5d ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Fri May 17 11:01:55 2013 +0100
+++ b/ProgTutorial/Parsing.thy	Tue May 28 23:26:18 2013 +0100
@@ -1513,7 +1513,7 @@
 oops
 
 method_setup joker = {* 
-  Scan.lift (Scan.succeed (fn ctxt => Method.cheating true)) *} {* bla *}
+  Scan.lift (Scan.succeed (fn ctxt => Method.cheating ctxt true)) *} {* bla *}
 
 lemma "False"
 apply(joker)




