diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 5f8543ed..10eab327 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -72,6 +72,7 @@ phrase_((A -> B), S0, S, M) :- phrase_(phrase(NonTerminal), S0, S, M) :- phrase(NonTerminal, S0, S, M). phrase_([T|Ts], S0, S, _) :- + must_be(list, [T|Ts]), append([T|Ts], S, S0).