diff -r c272680df665 -r c54a53ef1873 src/HOL/Library/code_test.ML
--- 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