bool: funny error message

[Dawid Ciężarkiewicz]

Thomas Kuehne wrote:
> I'v never heard of a type called "!!"!

It's actually "void", because as we all know two negations annihilate each
other. :D