From: Markus Triska Date: Sun, 9 Jul 2023 11:36:36 +0000 (+0200) Subject: correct \\ to \, addressing #1865 X-Git-Tag: v0.9.2~74 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d18f128a3c0d7eb8b1fbf92f354cabf684d76907;p=scryer-prolog.git correct \\ to \, addressing #1865 --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 989e083a..baf7ca1d 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -280,7 +280,7 @@ write_eq(G, VarList, MaxDepth) :- write_last_goal(G, VarList, MaxDepth). graphic_token_char(C) :- - memberchk(C, [#, $, &, *, +, -, ., /, :, <, =, >, ?, @, ^, ~, \\]). + memberchk(C, [#, $, &, *, +, -, ., /, :, <, =, >, ?, @, ^, ~, \]). list_last_item([C], C) :- !. list_last_item([_|Cs], D) :-