restore cut after dcg_constr check (#784)

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index f9410d99d3a3204a45eccf6fdcde02308b6143fe..05f41cb02cfae3ca12654f5cc0bf8e8cbffb6b7b 100644 (file)
--- 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)