[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Minor correction.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Mon Jul 18 00:44:51 2011 +0200

Minor correction.

---

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

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 1034c66..ba80d9f 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2821,7 +2821,7 @@ The interval bitwise operators are defined as follow:
   \begin{cases}
     \bigl[0, \min(b, b')\bigr],
       & \text{if $a \geq 0$ and $a' \geq 0$}; \\
-    \bigl[0, \max\(b, b')\bigr],
+    \bigl[0, \max(b, b')\bigr],
       & \text{if $a \geq 0$ and $b' < 0$,
               or $b < 0$ and $a' \geq 0$}; \\
     \bigl[a + a', \min(b,b')\bigr],