src/HOL/Tools/recfun_codegen.ML

         then [thm]
         else [Code.expand_eta thy 1 thm]
       end
   | avoid_value thy thms = thms;
 
-fun get_equations thy defs (raw_c, T) = if raw_c = @{const_name "op ="} then ([], "") else
+fun get_equations thy defs (raw_c, T) = if raw_c = @{const_name HOL.eq} then ([], "") else
   let
     val c = AxClass.unoverload_const thy (raw_c, T);
     val raw_thms = Code.get_cert thy (Code_Preproc.preprocess_functrans thy) c
       |> Code.bare_thms_of_cert thy
       |> map (AxClass.overload thy)