src/HOL/Tools/Groebner_Basis/normalizer_data.ML

         check_rules ringN r_rules 2 andalso
         check_ops fieldN f_ops 2 andalso
         check_rules fieldN f_rules 2 andalso
         check_rules idomN idom 2;
 
-      val mk_meta = LocalDefs.meta_rewrite_rule ctxt;
+      val mk_meta = Local_Defs.meta_rewrite_rule ctxt;
       val sr_rules' = map mk_meta sr_rules;
       val r_rules' = map mk_meta r_rules;
       val f_rules' = map mk_meta f_rules;
 
       fun rule i = nth sr_rules' (i - 1);