diff --git a/ChangeLog b/ChangeLog
index bcca683c3..a83280bd0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-02-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/tau03opt.cc (tau03_opt_search): Do not
+	account for the size of condition_stack.
+
 2005-02-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/sanity/style.test: Catch occurrences of "accepting condition".
diff --git a/src/tgbaalgos/tau03opt.cc b/src/tgbaalgos/tau03opt.cc
index fce52f2a8..a9de00421 100644
--- a/src/tgbaalgos/tau03opt.cc
+++ b/src/tgbaalgos/tau03opt.cc
@@ -323,7 +323,6 @@ namespace spot
 			bdd old = acu;
 			acu = c_prime.get_acc();
 			condition_stack.push(cond_level(acu - old, depth));
-			inc_depth();
 		      }
 		    ++depth;
 		  }
@@ -348,7 +347,6 @@ namespace spot
 		      {
 			acu -= condition_stack.top().first;
 			condition_stack.pop();
-			dec_depth();
 		      }
 		  }
               }