--- a/src/HOL/Library/code_test.ML Mon Sep 05 22:09:52 2016 +0200
+++ b/src/HOL/Library/code_test.ML Mon Sep 05 23:11:00 2016 +0200
@@ -579,7 +579,7 @@
(ocamlN, (evaluate_in_ocaml, Code_ML.target_OCaml)),
(ghcN, (evaluate_in_ghc, Code_Haskell.target)),
(scalaN, (evaluate_in_scala, Code_Scala.target))]
- #> fold (fn target => Value.add_evaluator (target, eval_term target))
+ #> fold (fn target => Value_Command.add_evaluator (target, eval_term target))
[polymlN, mltonN, smlnjN, ocamlN, ghcN, scalaN]);
end