src/HOL/Library/Eval.thy

 val eval_ref = ref (NONE : (unit -> term) option);
 
 fun eval_term thy t =
   t 
   |> Eval.mk_term_of (fastype_of t)
-  |> (fn t => CodePackage.eval_term ("Eval.eval_ref", eval_ref) thy t [])
+  |> (fn t => CodeTarget.eval_term ("Eval.eval_ref", eval_ref) thy t [])
   |> Code.postprocess_term thy;
 
 val evaluators = [
   ("code", eval_term),
   ("SML", Codegen.eval_term),