From a3f8ddd24a786e44d9c7183bb724e6d536d2bc9b Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 30 Jun 2023 18:02:43 +0200
Subject: [PATCH] remove subsumed case: F == Value means Arity =:= 0, now
 considered above

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

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 7d1e2569..8a0d44ea 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -213,7 +213,6 @@ needs_bracketing(Value, Op) :-
     arity_specifier(Arity, FSpec),
     (  Arity =:= 0
     ;  EqPrec < FPrec
-    ;  FPrec > 0, F == Value, graphic_token_char(F)
     ;  F \== '.', '$quoted_token'(F)
     ;  EqPrec =:= FPrec,
        member(EqSpec, [fx,xfx,yfx])
-- 
2.54.0