src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML

     val _ = null dups orelse error ("Duplicate function name " ^ quote (hd dups));
 
     val (raw_specs, of_specs_opt) =
       split_list raw_specs_of ||> map (Option.map (Syntax.read_term lthy));
     val (fixes, specs) =
-      fst (Specification.read_multi_specs raw_fixes (map (rpair []) raw_specs) lthy);
+      fst (Specification.read_multi_specs raw_fixes (map (fn spec => (spec, [], [])) raw_specs) lthy);
   in
     primcorec_ursive auto opts fixes specs of_specs_opt lthy
   end;
 
 val primcorecursive_cmd = (fn (goalss, after_qed, lthy) =>