Module: ppl/ppl Branch: bounded_arithmetic Commit: 7309a3a239bc75074827c6c61bd0df2b278088df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7309a3a239bc7...

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue May 5 13:59:21 2009 +0200

Fixed typo on assertion.

---

src/Box.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Box.templates.hh b/src/Box.templates.hh index c1c7156..511fc46 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -401,7 +401,7 @@ Box<ITV>::Box(const Polyhedron& ph, Complexity_Class complexity) lp.evaluate_objective_function(g, bound_num, bound_den); assign_r(ubound.get_num(), bound_num, ROUND_NOT_NEEDED); assign_r(ubound.get_den(), bound_den, ROUND_NOT_NEEDED); - assert(is_canonical(bound)); + assert(is_canonical(ubound)); upper.set(LESS_OR_EQUAL, ubound); } // Evaluate optimal lower bound.