From 3aa9c3bab6d085f4fc1ebbd8df03f8abd6eef388 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 11 Apr 2011 15:28:32 +0200
Subject: [PATCH] * iface/dve2/dve2.cc: Typo when handling dead==true.

---
 ChangeLog          | 4 ++++
 iface/dve2/dve2.cc | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

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;