print version more readably, addressing #1868

2023-07-08 08:19:05 +02:00
parent 4db0b385f3
commit 6525c1f543
1 changed files with 1 additions and 1 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -83,7 +83,7 @@ print_help :-

 print_version :-
    '$scryer_prolog_version'(Version),
-    write(Version), nl,
+    maplist(put_char, Version), nl,
    halt.

 gather_goal(Type, Args0, Goals) :-