src/HOL/ex/predicate_compile.ML

 structure P = OuterParse
 
 in
 
 val code_pred = generic_code_pred (K I);
-val code_pred_cmd = generic_code_pred Code_Unit.read_const
+val code_pred_cmd = generic_code_pred Code.read_const
 
 val setup =
   Attrib.setup @{binding code_ind_intros} (Scan.succeed (attrib add_intro_thm))
     "adding alternative introduction rules for code generation of inductive predicates" #>
   Attrib.setup @{binding code_ind_cases} (Scan.succeed add_elim_attrib)