[PPL-devel] [GIT] ppl/ppl(master): Comments should never be used for "commenting out" code.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 88fdc38a0e2e9d49fc8c1940705302d22cb790ee
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88fdc38a0e2e9d49fc8c1940705302d22cb790ee

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Aug 21 17:16:24 2012 +0200

Comments should never be used for "commenting out" code.
Detected by ECLAIR service cmntdout.

---

 src/Boundary_defs.hh |   10 ----------
 1 files changed, 0 insertions(+), 10 deletions(-)

diff --git a/src/Boundary_defs.hh b/src/Boundary_defs.hh
index 894abf2..6d4c023 100644
--- a/src/Boundary_defs.hh
+++ b/src/Boundary_defs.hh
@@ -116,11 +116,6 @@ set_unbounded(Boundary_Type type, T& x, Info& info) {
 template <typename T, typename Info>
 inline Result
 set_minus_infinity(Boundary_Type type, T& x, Info& info, bool open = false) {
-  /*
-  PPL_COMPILE_TIME_CHECK(Info::store_special
-                         || std::numeric_limits<T>::has_infinity,
-                         "minus infinity is not representable");
-  */
   if (open) {
     PPL_ASSERT(type == LOWER);
   }
@@ -144,11 +139,6 @@ set_minus_infinity(Boundary_Type type, T& x, Info& info, bool open = false) {
 template <typename T, typename Info>
 inline Result
 set_plus_infinity(Boundary_Type type, T& x, Info& info, bool open = false) {
-  /*
-  PPL_COMPILE_TIME_CHECK(Info::store_special
-                         || std::numeric_limits<T>::has_infinity,
-                         "minus infinity is not representable");
-  */
   if (open) {
     PPL_ASSERT(type == UPPER);
   }