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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 21 18:14:00 2012 +0200

Test restored.

---

src/Interval.defs.hh | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index 5e75c15..7d25bcd 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -502,14 +502,12 @@ public: bool ascii_load(std::istream& s);

bool OK() const { -#if 0 if (!Info::may_be_empty && is_empty()) { #ifndef NDEBUG - std::cerr << "The interval is unexpectedly empty.\n"; + std::cerr << "The interval is unexpectedly empty.\n"; #endif - return false; + return false; } -#endif

if (is_open(LOWER, lower(), info())) { if (is_plus_infinity(LOWER, lower(), info())) {