diff --git a/ChangeLog b/ChangeLog
index 1f3826d70..05fe09272 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2006-07-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	Merge this fix from proviso-branch:
+	2006-05-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+	* src/misc/bddalloc.cc (bdd_allocator::bdd_allocator): Count the
+  	number of BDD variable after they have been allocated.  Otherwise
+  	the first bdd_dict() created was leaking BDD variable #1.
+
 	* src/tgba/tgbabddconcrete.hh, src/tgba/tgbaexplicit.hh,
 	src/tgba/tgbaproduct.hh, src/tgba/tgbareduc.hh, src/tgba/tgbatba.hh:
 	Remove superfluous class qualifiers worrying gcc 4.1.2.
diff --git a/src/misc/bddalloc.cc b/src/misc/bddalloc.cc
index 8c3a4a982..b74df77ca 100644
--- a/src/misc/bddalloc.cc
+++ b/src/misc/bddalloc.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -28,9 +28,9 @@ namespace spot
   bool bdd_allocator::initialized = false;
 
   bdd_allocator::bdd_allocator()
-    : lvarnum(bdd_varnum())
   {
     initialize();
+    lvarnum = bdd_varnum();
     fl.push_front(pos_lenght_pair(0, lvarnum));
   }