Commit fa9614e9 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbaalgos/tau03opt.cc (tau03_opt_search): Do not

account for the size of condition_stack.
parent a2cbe9ca
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".
......
......@@ -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();
}
}
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment