src/Pure/Tools/nbe_codegen.ML

           |> fold (fn (_, e) => CodegenThingol.add_constnames e) eqns
           |> remove (op =) nm;
         val globals = map lookup (filter defined funs);
         val default_eqn = ([params], S.app Eval_Constr (S.tup[S.quote nm,params]));
         val code = S.eqns (MLname nm)
-                          (Library.flat(map (mk_eqn defined nm ar) eqns) 
-                           @ [default_eqn])
+                          (maps (mk_eqn defined nm ar) eqns @ [default_eqn])
         val register = tab_update
             (S.app Eval_mk_Fun (S.tup[S.quote nm, MLname nm, string_of_int ar]))
       in
         S.Let (globals @ [code]) register
       end