# HG changeset patch
# User haftmann
# Date 1399616016 -7200
# Node ID 2f94c9a50f06496947ff4439fadc573e6945833e
# Parent  c062543d380e90d82a4628b74db6c25efc187428
dimiss simplified as evaluator due to little practical relevance

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