From 6525c1f543128f4c153881a8dc0acf5ec1cbe05b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 8 Jul 2023 08:19:05 +0200 Subject: [PATCH] print version more readably, addressing #1868 --- src/toplevel.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 870b6990..6a87df3c 100644 --- 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) :- -- 2.54.0