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

Author: Alberto Gioia alberto.gioia1@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],