From 1ca1c39ec56170255f7260687b9383333c220923 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 19 Feb 2004 15:47:31 +0000
Subject: [PATCH] * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Remove the
 cond_for_true optimization.  It is covered by exprop.

---
 ChangeLog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ea5150977..5fa9bcee3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-02-19  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Remove the
+	cond_for_true optimization.  It is covered by exprop.
+
 	* src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::current_state):
 	Fix reference to Oddoux's thesis.