Fix a whitespace problem. From Alvaro Herrera.

This commit is contained in:
Dennis Bjorklund 2005-04-28 15:51:57 +00:00
parent 5de947624a
commit d902e7d63b