correct \\ to \, addressing #1865

This commit is contained in:
Markus Triska
2023-07-09 13:36:36 +02:00
committed by Mark
parent c8b9059289
commit d18f128a3c

View File

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