fix error message

svn: r7952
This commit is contained in:
Eli Barzilay 2007-12-11 11:33:23 +00:00
parent ddc2ade271
commit a0db104f00