correct \\ to \, addressing #1865

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 989e083a83277a00cdb0ba4fddf3d5f6ac190481..baf7ca1d62dcf2b581f89f90beff91e059240255 100644 (file)
--- 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) :-