From: Mark <markjordanthom@gmail.com>
Date: Mon, 4 Dec 2023 20:51:44 +0000 (-0700)
Subject: remove (\+)//1 (#1511)
X-Git-Tag: v0.9.4~84^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=refs%2Fheads%2Fremove_not_as_non_terminal;p=scryer-prolog.git

remove (\+)//1 (#1511)
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index b8563151..550009bb 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -166,7 +166,7 @@ dcg_cbody({Goal}, S0, S, ( Goal, S0 = S )).
 dcg_cbody(call(Cont), S0, S, call(Cont, S0, S)).
 dcg_cbody(phrase(Body), S0, S, phrase(Body, S0, S)).
 dcg_cbody(!, S0, S, ( !, S0 = S )).
-dcg_cbody(\+ GRBody, S0, S, ( \+ phrase(GRBody,S0,_), S0 = S )).
+% dcg_cbody(\+ GRBody, S0, S, ( \+ phrase(GRBody,S0,_), S0 = S )).
 dcg_cbody(( GRIf -> GRThen ), S0, S, ( If -> Then )) :-
     dcg_body(GRIf, S0, S1, If),
     dcg_body(GRThen, S1, S, Then).