diff -r c062543d380e -r 2f94c9a50f06 src/Tools/Code/code_simp.ML
--- a/src/Tools/Code/code_simp.ML	Fri May 09 08:13:36 2014 +0200
+++ b/src/Tools/Code/code_simp.ML	Fri May 09 08:13:36 2014 +0200
@@ -87,8 +87,7 @@
 val setup =
   Method.setup @{binding code_simp}
     (Scan.succeed (SIMPLE_METHOD' o (CHANGED_PROP oo dynamic_tac)))
-    "simplification with code equations"
-  #> Value.add_evaluator ("simp", dynamic_value);
+    "simplification with code equations";
 
 
 (* evaluation with static code context *)