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

2024-01-20 11:02:54 +01:00
parent 0559ddca2a
commit fe3241c07c
1 changed files with 0 additions and 2 deletions
--- 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) ->