src/CCL/Wfd.thy
changeset 30510 4120fc59dd85
parent 29269 5c25a2012975
child 30515 bca05b17b618
--- a/src/CCL/Wfd.thy	Fri Mar 13 19:53:09 2009 +0100
+++ b/src/CCL/Wfd.thy	Fri Mar 13 19:58:26 2009 +0100
@@ -505,7 +505,7 @@
 val eval_setup =
   Data.setup #>
   Method.add_methods [("eval", Method.thms_ctxt_args (fn ths => fn ctxt =>
-    Method.SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))), "evaluation")];
+    SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))), "evaluation")];
 
 end;