From 38c4fc8812eab66368c63d1a02b0aa7fabe2810b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 19 Nov 2016 14:48:18 +0100
Subject: [PATCH] [buddy] fix bdd_noderesize
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* src/kernel.c: Fix error introduced by 5a862295.
Report from Tomáš Babiak.
---
 buddy/src/kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c
index 49476f11b..09ece7e5b 100644
--- a/buddy/src/kernel.c
+++ b/buddy/src/kernel.c
@@ -1449,7 +1449,7 @@ int bdd_noderesize(int doRehash)
    /* copy these global variables into local variables to help the
       optimizer */
    int sz = bddnodesize;
-   BddNodeInit* b = (BddNodeInit*)(bddnodes + oldsize);
+   BddNodeInit* b = (BddNodeInit*)(bddnodes);
    for (n=oldsize ; n<sz ; n++)
    {
      b[n].z = 0;