[PPL-devel] [GIT] ppl/ppl(master): Corrected typo in explanatory output.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 14:48:24 2009 +0200

Corrected typo in explanatory output.

---

 tests/Octagonal_Shape/relatwithcons2.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/Octagonal_Shape/relatwithcons2.cc b/tests/Octagonal_Shape/relatwithcons2.cc
index b763558..5f2026c 100644
--- a/tests/Octagonal_Shape/relatwithcons2.cc
+++ b/tests/Octagonal_Shape/relatwithcons2.cc
@@ -440,7 +440,7 @@ test20() {
   print_constraints(oc, "--- oc ---");
   print_congruence(cg, "--- cg ---");
   using namespace IO_Operators;
-  nout << "oc.relation_with((A %= 0)/1) == " << rel << endl;
+  nout << "oc.relation_with((A + 3*B %= 0)/1) == " << rel << endl;
 
   Poly_Con_Relation known_result = Poly_Con_Relation::strictly_intersects();