[PPL-devel] [GIT] ppl/ppl(master): Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 30 15:18:23 2009 +0200

Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1.

---

 src/Pointset_Ask_Tell.templates.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Pointset_Ask_Tell.templates.hh b/src/Pointset_Ask_Tell.templates.hh
index f318439..1c30960 100644
--- a/src/Pointset_Ask_Tell.templates.hh
+++ b/src/Pointset_Ask_Tell.templates.hh
@@ -68,7 +68,7 @@ Pointset_Ask_Tell<NNC_Polyhedron>
       nnc_tell(NNC_Polyhedron(i->tell().element().constraints()));
     x.sequence.push_back(Pair(nnc_ask, nnc_tell));
   }
-  // FIXME(0.10.1): the following is a bug!
+  // FIXME: the following is a bug!
   x.normalized = y.normalized;
   assert(x.OK());
 }