add missing space (a better fix would be to note-lib)

svn: r9789
This commit is contained in:
Eli Barzilay 2008-05-10 06:34:09 +00:00
parent 26e78df5f5
commit 759aba2105