From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 19 Nov 2018 04:51:53 +0000 (-0700)
Subject: offset variable indexing for semi-context notations
X-Git-Tag: v0.8.110~319
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c281c1b4271d81282360d1e996e5dbb09ebb080f;p=scryer-prolog.git

offset variable indexing for semi-context notations
---

diff --git a/src/prolog/lib/dcgs.pl b/src/prolog/lib/dcgs.pl
index d92e6d2b..6f3e092f 100644
--- a/src/prolog/lib/dcgs.pl
+++ b/src/prolog/lib/dcgs.pl
@@ -34,7 +34,7 @@ expand_dcgs(Term0, N, (ModHead :- ModBody)) :-
     append(Args, ['$VAR'(N), SemiContextArgs], ModArgs),
     ModHead =.. [RuleName | ModArgs],
     nonvar(Body),
-    expand_body(Body, ModBody, 0, N1).
+    expand_body(Body, ModBody, N, N1).
 expand_dcgs(Term0, N, (ModHead :- ModBody)) :-
     nonvar(Term0),
     Term0 = (Head --> Body),