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

Fabio Bossi bossi at cs.unipr.it
Tue Sep 22 18:20:21 CEST 2009


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

Author: Fabio Bossi <bossi at 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
 




More information about the PPL-devel mailing list