--- a/src/Tools/nbe.ML Sat May 17 14:27:02 2008 +0200
+++ b/src/Tools/nbe.ML Sat May 17 15:31:42 2008 +0200
@@ -103,7 +103,7 @@
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;