[PPL-devel] [GIT] ppl/ppl(master): Item removed: no big deal.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 06:54:56 2009 +0200

Item removed: no big deal.

---

 TODO |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/TODO b/TODO
index 114ce6f..bae17fa 100644
--- a/TODO
+++ b/TODO
@@ -11,8 +11,6 @@ Enhancements for PPL 0.11
 - Make all the *affine*image() methods uniform as far as the
   specification is concerned.
 - Check the use or the NOT_EQUAL Relation_Symbol everywhere.
-- Get rid of ugly assign functions defined in anonymous namespace of
-  MIP_Problem.cc replacing it with a more general-purpose approach.
 - Reconsider the datatype for the units parameter in the Watchdog
   constructors: should we prefer an unsigned?
 - Intervals are best instantiated with checked numbers with
@@ -23,6 +21,7 @@ Enhancements for PPL 0.11
   at the time of writing): they provide features we have been looking
   for for years.
 
+
 Commits to consider should we release PPL 0.10.3
 ================================================