1.1 --- a/lemon/lemon_reader.h	Tue Jul 22 11:29:57 2008 +0000
     1.2 +++ b/lemon/lemon_reader.h	Fri Sep 19 15:14:41 2008 +0000
     1.3 @@ -3472,7 +3472,7 @@
     1.4        while (ls >> name) {
     1.5  	maps.push_back(name);
     1.6        }
     1.7 -      while (getline(is, line));
     1.8 +      while (getline(is, line)) { }
     1.9      }
    1.10  
    1.11      void readItemNames(std::istream& is, std::vector<std::string>& maps) {