small fix in error reporting
authorzapata <zapata>
Mon, 28 Apr 2003 18:44:37 +0000 (18:44 +0000)
committerzapata <zapata>
Mon, 28 Apr 2003 18:44:37 +0000 (18:44 +0000)
commitc9e06c155a0d72d12455cccf3d530f437d3bc005
tree4325e14b010afba1b366f362a545b7e4813d12e1
parent51765026ed320df19dbcbdb4cf8a89f08da19bde
small fix in error reporting
source/mir/config/MirPropertiesConfiguration.java