Fix a lint error

This commit is contained in:
Vivien Nicolas 2011-09-22 00:44:51 +02:00
parent b7796f123a
commit d8905b524d