dropped dead code

--- a/src/HOL/Tools/value.ML	Thu May 15 16:38:32 2014 +0200
+++ b/src/HOL/Tools/value.ML	Thu May 15 16:38:33 2014 +0200
@@ -35,9 +35,6 @@
 val opt_modes =
   Scan.optional (@{keyword "("} |-- Parse.!!! (Scan.repeat1 Parse.xname --| @{keyword ")"})) [];
 
-val opt_evaluator =
-  Scan.option (@{keyword "["} |-- Parse.xname --| @{keyword "]"})
-  
 val _ =
   Outer_Syntax.improper_command @{command_spec "value"} "evaluate and print term"
     (opt_modes -- Parse.term