From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 3 Feb 2021 22:18:38 +0000 (-0700)
Subject: restore cut after dcg_constr check (#784)
X-Git-Tag: v0.9.0~150^2~66^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=88ad2ee103c5f55564c4b8f67e93fc434042a162;p=scryer-prolog.git

restore cut after dcg_constr check (#784)
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index f9410d99..05f41cb0 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -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)