alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[buddy] fix bdd_noderesize

Browse source 
* src/kernel.c: Fix error introduced by 5a862295.
Report from Tomáš Babiak.
This commit is contained in:
Alexandre Duret-Lutz 2016-11-19 14:48:18 +01:00
parent 88a8a3efbe
commit 38c4fc8812
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
buddy/src/kernel.c
View file

@ -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;