diff Copyright @ 25675:fcac7e2a38fc

fix bug in error message (found by Diego through a compiler warning)
author rik
date Sun, 13 Jan 2008 00:10:02 +0000
parents 9fa3af97c963
children 892011a6cde0
line wrap: on
line diff