From 90fa03703090e69f3633e7922d1c79a07b6b216b Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Thu, 24 Jul 2008 05:50:55 +0000
Subject: [PATCH] Another two Binary_functions...

---
 Polynomial/include/CGAL/Polynomial_traits_d.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Polynomial/include/CGAL/Polynomial_traits_d.h b/Polynomial/include/CGAL/Polynomial_traits_d.h
index 6c7bb86129a..8f9e3afa252 100644
--- a/Polynomial/include/CGAL/Polynomial_traits_d.h
+++ b/Polynomial/include/CGAL/Polynomial_traits_d.h
@@ -22,6 +22,7 @@
 // - document Substitute 
 
 #include <CGAL/basic.h>
+#include <functional>
 
 #include <CGAL/Polynomial/fwd.h>
 #include <CGAL/Polynomial/misc.h>
@@ -685,7 +686,7 @@ public:
   //     Get_innermost_coefficient;
   struct Get_innermost_coefficient
     : public 
-    Binary_function< Polynomial_d, Exponent_vector, Innermost_coefficient >
+    std::binary_function< Polynomial_d, Exponent_vector, Innermost_coefficient >
   {
         
     Innermost_coefficient 
@@ -1325,7 +1326,7 @@ public:
   //       Scale;
   struct Scale 
     : public 
-    Binary_function< Polynomial_d, Innermost_coefficient, Polynomial_d > {
+    std::binary_function< Polynomial_d, Innermost_coefficient, Polynomial_d > {
         
     Polynomial_d operator()( Polynomial_d p, const Innermost_coefficient& c,
         int i = (PT::d-1) ) {