From: Markus Triska <triska@metalevel.at>
Date: Fri, 30 Jun 2023 16:02:43 +0000 (+0200)
Subject: remove subsumed case: F == Value means Arity =:= 0, now considered above
X-Git-Tag: v0.9.2~101^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a3f8ddd24a786e44d9c7183bb724e6d536d2bc9b;p=scryer-prolog.git

remove subsumed case: F == Value means Arity =:= 0, now considered above
---

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])