From fa9614e997695c60e6de7559d9e97e69425dc027 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 22 Feb 2005 13:43:47 +0000 Subject: [PATCH] * src/tgbaalgos/tau03opt.cc (tau03_opt_search): Do not account for the size of condition_stack. --- ChangeLog | 5 +++++ src/tgbaalgos/tau03opt.cc | 2 -- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index bcca683c3..a83280bd0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2005-02-22 Alexandre Duret-Lutz + + * src/tgbaalgos/tau03opt.cc (tau03_opt_search): Do not + account for the size of condition_stack. + 2005-02-20 Alexandre Duret-Lutz * 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(); } } }