[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed another small documentation inconsistency.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 15:08:37 2009 +0200

Fixed another small documentation inconsistency.

---

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

diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh
index 3926033..2efcbc2 100644
--- a/src/Variable_Floating_Point_Expression.defs.hh
+++ b/src/Variable_Floating_Point_Expression.defs.hh
@@ -62,10 +62,8 @@ namespace Parma_Polyhedra_Library {
   we construct the interval
   linear form \f$\linexpr{v}
   \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle\f$ as
-  \f$\rho^{\#}_l(v)\f$ if it is defined; otherwise we construct it as:
-  \f[
-  \linexpr{v}\rho^{\#} = [-1;1]v.
-  \f]
+  \f$\rho^{\#}_l(v)\f$ if it is defined; otherwise we construct it as
+  \f$[-1;1]v\f$.
 */
 template <typename FP_Interval_Type, typename FP_Format>
 class Variable_Floating_Point_Expression