Laurent Rineau be467e7958 This operator>> is really badly written. ... When istream::getline reaches the EOF, it sets the failbit. Then it must be cleared, so that a successful read does not return a failed stream.		2014-01-06 15:36:57 +01:00
..
CGAL	This operator>> is really badly written.	2014-01-06 15:36:57 +01:00