From 21db1f437a60c2a903a4102f16bd8f544b88eae9 Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Wed, 5 Dec 2018 05:58:07 +0000
Subject: [PATCH] Print newline in debugging-printer primitive.

---
 src/microcode/debug.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/microcode/debug.c b/src/microcode/debug.c
index c78c7d8b2..aeb462ca2 100644
--- 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);
 }
 
-- 
2.25.1