[PPL-devel] [GIT] ppl/ppl(floating_point): Use \infty instead of \infinity.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Sep  9 17:37:08 2009 +0200

Use \infty instead of \infinity.

---

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

diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh
index 2a22bde..bf623b8 100644
--- a/src/Constant_Floating_Point_Expression.defs.hh
+++ b/src/Constant_Floating_Point_Expression.defs.hh
@@ -65,8 +65,8 @@ namespace Parma_Polyhedra_Library {
   follow:
   \f[
   \linexpr{\textrm{const}_{\mathbf{f},\mathbf{r}}(c)}\rho^{\#} =
-  [\textrm{const}_{\mathbf{f},-\infinity}(c);
-  \textrm{const}_{\mathbf{f},+\infinity}(c)].
+  [\textrm{const}_{\mathbf{f},-\infty}(c);
+  \textrm{const}_{\mathbf{f},+\infty}(c)].
   \f]
  */
 template <typename FP_Interval_Type, typename FP_Format>