[PPL-devel] [GIT] ppl/ppl(floating_point): Use new linearization macro.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Sep  9 10:26:32 2009 +0200

Use new linearization macro.

---

 doc/definitions.dox |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 4f241cd..07cbebd 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2711,7 +2711,8 @@ point expression classes for more information.
 
 The linearization of a floating point expression \f$e\f$ in the composite
 abstract store \f$\left \langle \rho, \rho_l \right \rangle\f$ will be denoted
-by \f$\f$. There are two ways a linearization attempt can fail:
+by \f$\linexpr{e} \left (\rho, \rho_l \right )\f$. There are two ways a
+linearization attempt can fail:
   - whenever an interval boundary overflows to \f$+\infty\f$ or \f$-\infty\f$,
     and
   - when we try to divide by an interval that contains \f$0\f$.