Module: ppl/ppl Branch: master Commit: 21f7acf730e5ebf68eca6bcf9034b19098375b67 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f7acf730e5e...
Author: Abramo Bagnara abramo.bagnara@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()); }