From 5bfc03ed4ac23a8509870decddc67d3ca2bf89c7 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Fri, 9 Feb 2001 15:43:57 +0000
Subject: [PATCH] Cleaned up redundant test is_integral<T> || is_same<T,char>
 -> is_integral<T>

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

diff --git a/include/boost/counting_iterator.hpp b/include/boost/counting_iterator.hpp
index 3a8762e..7e67049 100644
--- a/include/boost/counting_iterator.hpp
+++ b/include/boost/counting_iterator.hpp
@@ -47,6 +47,7 @@
 # include <boost/iterator_adaptors.hpp>
 # include <boost/type_traits.hpp>
 # include <boost/detail/numeric_traits.hpp>
+# include <boost/static_assert.hpp>
 # ifndef BOOST_NO_LIMITS
 #  include <limits>
 # endif
@@ -123,11 +124,13 @@ namespace detail {
   // limitations of the compiler and library.
   template <class T>
   struct is_numeric {
+    // For a while, this wasn't true, but we rely on it below. This is a regression assert.
+    BOOST_STATIC_ASSERT(::boost::is_integral<char>::value);
     enum { value = 
 #ifndef BOOST_NO_LIMITS_COMPILE_TIME_CONSTANTS
         std::numeric_limits<T>::is_specialized
 #elif defined(__BORLANDC__)
-        ::boost::is_integral<T>::value || ::boost::is_same<T,char>::value
+        ::boost::is_integral<T>::value
 #else
         boost::is_convertible<int,T>::value && boost::is_convertible<T,int>::value
 #endif