From 4377bda5fe6ea975be2eefe940f839057b688aec Mon Sep 17 00:00:00 2001
From: Michael Kerber <mkerber@mpi-inf.mpg.de>
Date: Fri, 18 Jun 2010 15:10:29 +0000
Subject: [PATCH] Introduced cast-to-void to avoid compiler warnings

---
 Number_types/include/CGAL/Gmpfi.h             | 2 ++
 Polynomial/include/CGAL/Polynomial_traits_d.h | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/Number_types/include/CGAL/Gmpfi.h b/Number_types/include/CGAL/Gmpfi.h
index a47f0a79228..98bd970e3e3 100644
--- a/Number_types/include/CGAL/Gmpfi.h
+++ b/Number_types/include/CGAL/Gmpfi.h
@@ -83,6 +83,8 @@ public Algebraic_structure_traits_base<Gmpfi,Field_with_kth_root_tag>{
         struct Divides:
         public std::binary_function<Type,Type,Boolean>{
                 Boolean operator()(const Type &d,const Type &n)const{
+                        // Avoid compiler warning
+		        (void)n;
                         return !(d.is_zero());
                 };
                 Boolean operator()(const Type &d,const Type &n,Type &c)const{
diff --git a/Polynomial/include/CGAL/Polynomial_traits_d.h b/Polynomial/include/CGAL/Polynomial_traits_d.h
index 4435cbcfb7c..bbba4e916f8 100644
--- a/Polynomial/include/CGAL/Polynomial_traits_d.h
+++ b/Polynomial/include/CGAL/Polynomial_traits_d.h
@@ -593,6 +593,8 @@ public:
     
     template< class Input_iterator >
     Polynomial_d operator()( Input_iterator begin, Input_iterator end, bool is_sorted) const {
+      // Avoid compiler warning
+      (void)is_sorted;
       if(begin == end ) return Polynomial_d(0);
       Monom_rep monom_rep(begin,end);
       // if(!is_sorted)