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) :-