Simplify a statement

This commit is contained in:
Ricardo Garcia 2008-07-25 14:00:02 +02:00
parent 76a7f36400
commit 97accc0ece