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  <adl@lrde.epita.fr>
+
+	Fix declaration of bddproduced.
+
+	* src/reorder.c (bddproduced): Declare a longint, to match
+	the definition in kerner.c.
+
 2011-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* 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;