From 5196d648a07ed39286aa5d9a6edd56c0a2767f80 Mon Sep 17 00:00:00 2001
From: someplaceguy <someplaceguy@wizy.org>
Date: Sat, 28 Oct 2023 17:03:42 +0000
Subject: [PATCH] Trivial cosmetic fix to Poly/ML configuration output

---
 tools-poly/smart-configure.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools-poly/smart-configure.sml b/tools-poly/smart-configure.sml
index 44d9dba969..0f455efc10 100644
--- a/tools-poly/smart-configure.sml
+++ b/tools-poly/smart-configure.sml
@@ -303,7 +303,7 @@ fun optverdict (prompt, optvalue) =
 
 fun dfltverdict (prompt, (value, dflt)) =
     if dflt then value
-    else (print (StringCvt.padRight #" " 20 (prompt ^ ":") ^ value); value);
+    else (print (StringCvt.padRight #" " 20 (prompt ^ ":") ^ value ^ "\n"); value);
 
 verdict ("OS", OS);
 verdict ("poly", poly);