1.1 --- a/lemon/lemon_reader.h	Thu Jul 26 12:18:02 2007 +0000
     1.2 +++ b/lemon/lemon_reader.h	Thu Jul 26 13:59:12 2007 +0000
     1.3 @@ -254,7 +254,9 @@
     1.4  	if (it != inverse.end()) {
     1.5  	  return it->second;
     1.6  	} else {
     1.7 -	  throw DataFormatError("Invalid label error");
     1.8 +	  ErrorMessage msg;
     1.9 +	  msg << "Invalid label error: " << value; 
    1.10 +	  throw DataFormatError(msg.message());
    1.11  	}
    1.12        }      
    1.13      };
    1.14 @@ -292,7 +294,9 @@
    1.15  	if (it != inverse.end()) {
    1.16  	  return it->second;
    1.17  	} else {
    1.18 -	  throw DataFormatError("Invalid label error");
    1.19 +	  ErrorMessage msg;
    1.20 +	  msg << "Invalid label error: " << value; 
    1.21 +	  throw DataFormatError(msg.message());
    1.22  	}
    1.23        }
    1.24