fixed error message
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 15 May 2006 12:48:47 +0000 (12:48 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 15 May 2006 12:48:47 +0000 (12:48 +0000)

No differences found