diff --git a/ChangeLog b/ChangeLog
index a482369ef..01be3cd0a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-04-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* iface/dve2/dve2.cc: Typo when handling dead==true.
+
 2011-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Always pass --enable-devel or --disable-devel to BuDDy.
diff --git a/iface/dve2/dve2.cc b/iface/dve2/dve2.cc
index 3d5c86dc3..527eaec8d 100644
--- a/iface/dve2/dve2.cc
+++ b/iface/dve2/dve2.cc
@@ -626,7 +626,7 @@ namespace spot
 	    alive_prop = bddtrue;
 	    dead_prop = bddfalse;
 	  }
-	else if (dead == ltl::constant::false_instance())
+	else if (dead == ltl::constant::true_instance())
 	  {
 	    alive_prop = bddtrue;
 	    dead_prop = bddtrue;