From 88ad2ee103c5f55564c4b8f67e93fc434042a162 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 3 Feb 2021 15:18:38 -0700
Subject: [PATCH] restore cut after dcg_constr check (#784)

---
 src/lib/dcgs.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.54.0