Trivial cosmetic fix to Poly/ML configuration output

HOL-Theorem-Prover · Oct 29, 2023 · 5196d64 · 5196d64
1 parent 117737b
commit 5196d64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);