solved a bug? hard to believe, but seems like it

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1131 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Dec 3, 2011 · 11a72b3 · 11a72b3
1 parent 3b886bc
commit 11a72b3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/shared/prolog/xbgf1.pro b/shared/prolog/xbgf1.pro
@@ -1347,7 +1347,8 @@ unchain(P1,g(Rs,Ps1),g(Rs,Ps4))
       'Production ~q must be chain production.',
       [P1]),
     append(Ps1a,Ps1b,Ps2),
-    definition1(Ps2,N2,p(_,_,X)),
+    def(Ps2,N2,N2Ps),
+    member(p(_,_,X),N2Ps),
     require(
        (\+ member(N2,Rs) ),
        'Nonterminal ~q must not be root.',