--- a/ProgTutorial/Recipes/Sat.thy	Tue Jul 28 12:11:33 2009 +0200
+++ b/ProgTutorial/Recipes/Sat.thy	Thu Jul 30 11:38:52 2009 +0200
@@ -101,7 +101,7 @@
 *}
 
 lemma "True"
-apply(tactic {* sat.sat_tac 1 *})
+apply(tactic {* sat.sat_tac @{context} 1 *})
 done
 
 text {*