Fix declaration of bddproduced.

* src/reorder.c (bddproduced): Declare a longint, to match
the definition in kerner.c.
This commit is contained in:
Alexandre Duret-Lutz 2011-04-03 13:54:01 +02:00
parent 87172f145d
commit 44aed5cda6
2 changed files with 8 additions and 1 deletions

View file

@ -104,7 +104,7 @@ static int usednum_after;
/* Kernel variables needed for reordering */
extern int bddfreepos;
extern int bddfreenum;
extern int bddproduced;
extern long int bddproduced;
/* Flag telling us when a node table resize is done */
static int resizedInMakenode;