[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted definition of the class Test_Oracle, after new definition for class Oracle.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Fri Jun 24 17:48:12 2011 +0200

Adjusted definition of the class Test_Oracle, after new definition for class Oracle.

---

 tests/Concrete_Expression/digitalfilters1.cc |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc
index b2e4741..d0fcf3e 100644
--- a/tests/Concrete_Expression/digitalfilters1.cc
+++ b/tests/Concrete_Expression/digitalfilters1.cc
@@ -43,13 +43,13 @@ public:
     return true;
   }
 
-  bool get_int_constant_value(const Int_Constant<C_Expr>& expr,
-                             FP_Interval& result) const {
+  bool get_int_constant_value(const Int_Constant<C_Expr>&,
+                             FP_Interval&) const {
     return false;
   }
 
-  bool get_integer_constant_value(const Integer_Constant<C_Expr>& expr,
-                             FP_Interval& result) const { 
+  bool get_integer_constant_value(const Integer_Constant<C_Expr>&,
+                             FP_Interval&) const { 
     return false;
   }
 
@@ -76,7 +76,7 @@ public:
     result = expr.dimensions;
     return true;
   }
-
+  
   FP_Interval_Abstract_Store int_store;
 };