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

Author: Fabio Bossi bossi@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>