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

Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 9 17:40:00 2009 +0200

Fixed typo.

---

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

diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index eb42df9..ed32977 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -71,7 +71,7 @@ namespace Parma_Polyhedra_Library { \f] \f[ \left(i + \sum_{v \in \cV}i_{v}v\right) - \divlf + \adivlf i' = \left(i \adivifp i'\right) +