[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed typo on assertion.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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.