--- ./src/mp_std_bits.defs.hh	2013-01-03 18:35:45.774546010 +0800
+++ ../ppl-1.0-unmodified/ppl-1.0/src/mp_std_bits.defs.hh	2012-06-28 18:50:33.000000000 +0800
@@ -43,8 +43,6 @@
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
 //! Specialization of std::numeric_limits.
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
-
-/*	
 template <>
 class numeric_limits<mpz_class> {
 private:
@@ -163,7 +161,6 @@
     return static_cast<Type>(0);
   }
 };
-*/
 
 } // namespace std