diff --git a/ChangeLog b/ChangeLog
index 54ccc26d6..1a37d5880 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2011-02-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Prevent Spot from using an installed BuDDy version that does not
+	have the latest function we added.  Reported by Kristin Rozier.
+
+	* m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_setxor.
+
 2011-02-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Add a way to count the number of sub-transitions.
diff --git a/m4/buddy.m4 b/m4/buddy.m4
index 7a57b44d9..0d23cb51e 100644
--- a/m4/buddy.m4
+++ b/m4/buddy.m4
@@ -2,7 +2,7 @@ AC_DEFUN([AX_CHECK_BUDDY], [
   AC_ARG_WITH([included-buddy],
 	      [AC_HELP_STRING([--with-included-buddy],
 			      [use the BuDDy library inclued here])])
-  AC_CHECK_LIB([bdd], [bdd_satprefix],
+  AC_CHECK_LIB([bdd], [bdd_setxor],
 	       [need_included_buddy=no],
 	       [need_included_buddy=yes])