From: Markus Triska <triska@metalevel.at>
Date: Sat, 20 Jan 2024 10:02:54 +0000 (+0100)
Subject: remove checks that are now no longer needed due to representation errors
X-Git-Tag: v0.9.4~25^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fe3241c07ca78bdce3dea06caa73c4bba9eebda6;p=scryer-prolog.git

remove checks that are now no longer needed due to representation errors
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 40f44a59..0fa9109c 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -154,8 +154,6 @@ dcg_body(GRBody, S0, S, Body) :-
 dcg_body(NonTerminal, S0, S, Goal1) :-
     nonvar(NonTerminal),
     \+ dcg_constr(NonTerminal),
-    NonTerminal \= ( _ -> _ ),
-    NonTerminal \= ( \+ _ ),
     loader:strip_module(NonTerminal, M, NonTerminal0),
     dcg_non_terminal(NonTerminal0, S0, S, Goal0),
     (  functor(NonTerminal, (:), 2) ->