From f96e694ff8f0c0de4445a3f557de545a53316e0d Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 18 Apr 2020 14:13:41 -0600 Subject: [PATCH] bracket graphic token chars in toplevel.pl (#357) --- src/prolog/toplevel.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl index 27bf71f5..a3c3f1af 100644 --- a/src/prolog/toplevel.pl +++ b/src/prolog/toplevel.pl @@ -65,6 +65,7 @@ false), ( EqPrec < FPrec -> true ; '$quoted_token'(F) -> true + ; atom_length(F, 1), '$graphic_token_char'(F) -> true ; EqPrec == FPrec, memberchk(EqSpec, [fx,xfx,yfx]) ). -- 2.54.0