--- 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)