diff --git a/ChangeLog b/ChangeLog
index cc6546f1b..c3fe925de 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-10-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/misc/bddalloc.cc (bdd_allocator::initialize): Augment
+	bdd_init()'s arguments.
+
 2003-10-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* iface/gspn/ltlgspn.cc: Use command-line options to
diff --git a/src/misc/bddalloc.cc b/src/misc/bddalloc.cc
index 3a00941d3..26ea8d7c9 100644
--- a/src/misc/bddalloc.cc
+++ b/src/misc/bddalloc.cc
@@ -20,7 +20,11 @@ namespace spot
     if (initialized)
       return;
     initialized = true;
-    bdd_init(50000, 5000);
+    // The values passed to bdd_init should depends on the problem
+    // the library is solving.  It would be nice to allow users
+    // to tune this.  By the meantime, we take the typical values
+    // for large examples advocated by the BuDDy manual.
+    bdd_init(1000000, 10000);
     bdd_setvarnum(varnum);
   }