From 44aed5cda6f58545d5e13a3cf326b76f73896820 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 3 Apr 2011 13:54:01 +0200 Subject: [PATCH] [buddy] Fix declaration of bddproduced. * src/reorder.c (bddproduced): Declare a longint, to match the definition in kerner.c. --- buddy/ChangeLog | 7 +++++++ buddy/src/reorder.c | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index ceeab2848..20512128f 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,10 @@ +2011-04-03 Alexandre Duret-Lutz + + Fix declaration of bddproduced. + + * src/reorder.c (bddproduced): Declare a longint, to match + the definition in kerner.c. + 2011-04-03 Alexandre Duret-Lutz * buddy/src/kernel.c (bdd_addref, bdd_delref): Disable sanity diff --git a/buddy/src/reorder.c b/buddy/src/reorder.c index ab2fc6e82..1f593c160 100644 --- a/buddy/src/reorder.c +++ b/buddy/src/reorder.c @@ -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;