Print newline in debugging-printer primitive.

diff --git a/src/microcode/debug.c b/src/microcode/debug.c
index c78c7d8b24e8bf03f36c4b42c52f4a5990653cd5..aeb462ca25253e3aadd2cdb634d67e952d312dc0 100644 (file)
--- a/src/microcode/debug.c
+++ b/src/microcode/debug.c
@@ -343,6 +343,7 @@ DEFINE_PRIMITIVE ("DEBUGGING-PRINTER", Prim_debugging_printer, 1, 1,
   PRIMITIVE_HEADER (1);
 
   print_object (ERROR_OUTPUT, ARG_REF (1));
+  outf_error ("\n");
   return (SHARP_F);
 }