From fe3241c07ca78bdce3dea06caa73c4bba9eebda6 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Jan 2024 11:02:54 +0100 Subject: [PATCH] remove checks that are now no longer needed due to representation errors --- src/lib/dcgs.pl | 2 -- 1 file changed, 2 deletions(-) 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) -> -- 2.54.0