Module: ppl/ppl Branch: floating_point Commit: d14d0775d881de693ce17e4f938cf9d0fe3e5450 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d14d0775d881d...

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 22 18:12:13 2009 +0200

Fixed a typo that prevented compilation of tests.

---

tests/ppl_test.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh index 628c3a0..6e99efe 100644 --- a/tests/ppl_test.hh +++ b/tests/ppl_test.hh @@ -583,7 +583,7 @@ typedef std::map<dimension_type, FP_Linear_Form> FP_Linear_Form_Abstract_Store; The incarnation of Floating_Point_Expression under test for analyzing floating point computations. */ -typedef Floating_Point_Expression<FP_Interval_Type, ANALYZED_FP_FORMAT> FP_Expression; +typedef Floating_Point_Expression<FP_Interval, ANALYZED_FP_FORMAT> FP_Expression;

/*! \brief The incarnation of BD_Shape under test for analyzing