diff -r 5222a3c470ed -r 6aa6fcaeaea5 lemon/lemon_reader.h
--- a/lemon/lemon_reader.h	Tue Jul 22 11:29:57 2008 +0000
+++ b/lemon/lemon_reader.h	Fri Sep 19 15:14:41 2008 +0000
@@ -3472,7 +3472,7 @@
       while (ls >> name) {
 	maps.push_back(name);
       }
-      while (getline(is, line));
+      while (getline(is, line)) { }
     }
 
     void readItemNames(std::istream& is, std::vector<std::string>& maps) {