[PPL-devel] [GIT] ppl/ppl(master): tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.

[Marco Poletti]

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

Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Dec  4 18:27:44 2011 +0100

tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.

---

 tests/BD_Shape/cc76extrapolation1.cc |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/BD_Shape/cc76extrapolation1.cc b/tests/BD_Shape/cc76extrapolation1.cc
index d4d46ca..b482793 100644
--- a/tests/BD_Shape/cc76extrapolation1.cc
+++ b/tests/BD_Shape/cc76extrapolation1.cc
@@ -176,7 +176,7 @@ test03() {
   bds2.add_constraint(D - C <= 1);
 
   // Force the closure of `bds1'.
-  bds1 == bds2;
+  (void) (bds1 == bds2);
 
   BD_Shape<mpq_class> known_widening(4);
   known_widening.add_constraint(A >= 0);
@@ -200,7 +200,7 @@ test03() {
   print_constraints(bds1, "*** bds1.CC76_extrapolation_assign(bds2) ***");
 
   // Force the closure of `bds1'.
-  bds1 == bds2;
+  (void) (bds1 == bds2);
 
   bool ok = (BD_Shape<mpq_class>(bds1) == known_widening);