diff --git a/ChangeLog b/ChangeLog
index 56e8dfe69..c710534aa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2007-09-19  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* src/misc/bddalloc.cc (bdd_allocator::initialize):
+	Disable the default GC handler.  Reported by
+	Kristin Yvonne Rozier <kyrozier@cs.rice.edu>.
+
 2007-07-26  Alexandre Duret-Lutz  <adl@gnu.org>
 
 	* src/tgbatest/ltl2tgba.cc (main): Correctly destroy unobservable
diff --git a/src/misc/bddalloc.cc b/src/misc/bddalloc.cc
index 2a7dcc337..473a5afc4 100644
--- a/src/misc/bddalloc.cc
+++ b/src/misc/bddalloc.cc
@@ -25,6 +25,7 @@
 
 namespace spot
 {
+
   bool bdd_allocator::initialized = false;
 
   bdd_allocator::bdd_allocator()
@@ -49,6 +50,10 @@ namespace spot
     // for large examples advocated by the BuDDy manual.
     bdd_init(1000000, 10000);
     bdd_setvarnum(2);
+    // Disable the default GC handler.  (Note that this will only be
+    // done if Buddy is initialized by Spot.  Otherwise we prefer not
+    // to overwrite a handler that might have been set by the user.)
+    bdd_gbc_hook(0);
   }
 
   void