restore cut after dcg_constr check (#784)

This commit is contained in:
Mark Thom
2021-02-03 15:18:38 -07:00
parent 48f3f4ca37
commit 88ad2ee103

View File

@@ -19,7 +19,7 @@ phrase(GRBody, S0, S) :-
( var(GRBody) ->
throw(error(instantiation_error, phrase/3))
; strip_module(GRBody, Module, GRBody0),
dcg_constr(GRBody0),
dcg_constr(GRBody0) ->
( var(Module) ->
phrase_(GRBody0, S0, S)
; phrase_(Module:GRBody0, S0, S)