[PPL-devel] [GIT] ppl/ppl(master): Another test where we get an overflow with changed sign.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 20 10:34:42 2012 +0200

Another test where we get an overflow with changed sign.

---

 interfaces/Prolog/tests/expected_clpq2_int16 |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/expected_clpq2_int16 b/interfaces/Prolog/tests/expected_clpq2_int16
index 707c9d1..97834f0 100644
--- a/interfaces/Prolog/tests/expected_clpq2_int16
+++ b/interfaces/Prolog/tests/expected_clpq2_int16
@@ -21,7 +21,7 @@ PPL clpq ?- Y = 8
  more? yes
 PPL clpq ?- yes
 PPL clpq ?- 
-Error: an overflow has been detected by the PPL: Negative overflow.
+Error: an overflow has been detected by the PPL: Positive overflow.
 no
 PPL clpq ?- yes
 PPL clpq ?- X = 10