Module: ppl/ppl Branch: master Commit: 72619d2aafd034b54115e17459cb8c5b19da8280 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72619d2aafd03... Author: Enea Zaffanella <zaffanella@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();