From a9d7ca630ef75dd14183d05dd0fae7ab7aa929d8 Mon Sep 17 00:00:00 2001
From: Jens Maurer <jens.maurer@gmx.net>
Date: Sun, 3 Mar 2002 09:45:04 +0000
Subject: [PATCH] add defaulted parameter for function_requires() to work
 around problems with Compaq C++ and MSVC

[SVN r13040]
---
 include/boost/concept_check.hpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/include/boost/concept_check.hpp b/include/boost/concept_check.hpp
index 0f0dc23..4b820a7 100644
--- a/include/boost/concept_check.hpp
+++ b/include/boost/concept_check.hpp
@@ -19,6 +19,8 @@
 #include <utility>
 #include <boost/type_traits/conversion_traits.hpp>
 #include <boost/static_assert.hpp>
+#include <boost/type.hpp>
+
 
 #if defined(BOOST_MSVC) || defined(__BORLANDC__)
 #define BOOST_FPTR
@@ -36,8 +38,9 @@ namespace boost {
 
 template <class T> inline void ignore_unused_variable_warning(const T&) { }
 
+// the unused, defaulted parameter is a workaround for MSVC and Compaq C++
 template <class Concept>
-inline void function_requires()
+inline void function_requires(type<Concept>* = 0)
 {
 #if !defined(NDEBUG)
   void (Concept::*x)() = BOOST_FPTR Concept::constraints;