[PPL-devel] [GIT] ppl/ppl(master): Postponed FIXME.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Mar 31 17:35:39 2009 +0200

Postponed FIXME.

---

 src/Box.inlines.hh |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Box.inlines.hh b/src/Box.inlines.hh
index d3a514b..1c6556e 100644
--- a/src/Box.inlines.hh
+++ b/src/Box.inlines.hh
@@ -407,8 +407,9 @@ Box<ITV>
     seq_v.refine_existential((den > 0) ? GREATER_THAN : LESS_THAN, q);
     break;
   }
-  // FIXME(0.10.1): do check the value returned by `refine_existential' and
+  // FIXME: do check the value returned by `refine_existential' and
   // set `empty' and `empty_up_to_date' as appropriate.
+  // This has to be done after reimplementation of intervals.
   reset_empty_up_to_date();
   assert(OK());
 }