From d18f128a3c0d7eb8b1fbf92f354cabf684d76907 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 9 Jul 2023 13:36:36 +0200
Subject: [PATCH] correct \\ to \, addressing #1865

---
 src/toplevel.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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