[PPL-devel] [GIT] ppl/ppl(master): Reworded misleading comment.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar 21 12:21:34 2009 +0100

Reworded misleading comment.

---

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

diff --git a/src/Pointset_Ask_Tell.templates.hh b/src/Pointset_Ask_Tell.templates.hh
index d955491..f318439 100644
--- a/src/Pointset_Ask_Tell.templates.hh
+++ b/src/Pointset_Ask_Tell.templates.hh
@@ -88,11 +88,9 @@ Pointset_Ask_Tell<C_Polyhedron>
     x.sequence.push_back(Pair(c_ask, c_tell));
   }
 
-  // FIXME(0.10.1): the following comment should be rephrased!
-  // Note: this might be non-reduced even when `y' is known to be
-  // omega-reduced, because the constructor of C_Polyhedron, by
-  // enforcing topological closure, may have made different elements
-  // comparable.
+  // Note: in general, normalization of `y' does not propagate to `x',
+  // because the approximation potentially introduced by the conversion
+  // may have made uncomparable elements in `y' to become comparable in `x'.
   x.normalized = false;
   assert(x.OK());
 }