# HG changeset patch
# User deba
# Date 1185458352 0
# Node ID 1dd4d6ff9bacb810aaa19883f944f9739d6e8f71
# Parent  3c347c3067038e83e09708b1bf68eba2dc138a97
Reporting invalid ID

diff -r 3c347c306703 -r 1dd4d6ff9bac lemon/lemon_reader.h
--- a/lemon/lemon_reader.h	Thu Jul 26 12:18:02 2007 +0000
+++ b/lemon/lemon_reader.h	Thu Jul 26 13:59:12 2007 +0000
@@ -254,7 +254,9 @@
 	if (it != inverse.end()) {
 	  return it->second;
 	} else {
-	  throw DataFormatError("Invalid label error");
+	  ErrorMessage msg;
+	  msg << "Invalid label error: " << value; 
+	  throw DataFormatError(msg.message());
 	}
       }      
     };
@@ -292,7 +294,9 @@
 	if (it != inverse.end()) {
 	  return it->second;
 	} else {
-	  throw DataFormatError("Invalid label error");
+	  ErrorMessage msg;
+	  msg << "Invalid label error: " << value; 
+	  throw DataFormatError(msg.message());
 	}
       }