[GIT] ppl/ppl(floating_point): Fixed another typo that prevented compilation of tests.

Module: ppl/ppl Branch: floating_point Commit: 15ed9f61cf8f2bd88b13226ff73b56a07ce1cffd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15ed9f61cf8f2...
Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 22 18:23:51 2009 +0200
Fixed another 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 6e99efe..6e13fdf 100644 --- a/tests/ppl_test.hh +++ b/tests/ppl_test.hh @@ -595,7 +595,7 @@ typedef BD_Shape<ANALYZER_FP_FORMAT> FP_BD_Shape; The incarnation of Octagon under test for analyzing floating point computations. */ -typedef Octagon<ANALYZER_FP_FORMAT> FP_Octagon; +typedef Octagonal_Shape<ANALYZER_FP_FORMAT> FP_Octagonal_Shape; #endif #endif
participants (1)
-
Fabio Bossi