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

Author: Roberto Bagnara bagnara@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); }