src/Tools/nbe.ML

           let
             fun eqn (es, e) = name ^ " " ^ space_implode " " es ^ " = " ^ e
           in space_implode "\n  | " (map eqn eqs) end;
       in
         (prefix "fun " o fundef) eqs :: map (prefix "and " o fundef) eqss
-        |> space_implode "\n"
+        |> cat_lines
         |> suffix "\n"
       end;
 
 (* nbe specific syntax and sandbox communication *)