[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed typo.

[Fabio Bossi]

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

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