Sylvain Pion e8591b3b32 Change Counting_output_iterator to store a pointer to the counter, instead of ... the counter itself. It fixes a problem with g++ 4.3 since std::copy now performs the assignments on *copies* of the output iterator. See : http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34595		2007-12-26 17:34:36 +00:00
..
CGAL	Change Counting_output_iterator to store a pointer to the counter, instead of	2007-12-26 17:34:36 +00:00