[PPL-devel] [GIT] ppl/ppl(master): Test restored.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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())) {