tree 7c85691f2b31b48c8d0673f363d35d1681a73b64
parent fa2b17e39499a77f41a719035a588b7fb63cec63
author hasso <hasso> 1078428044 +0000
committer hasso <hasso> 1078428044 +0000

Fix warning. Approved by Amir.