Is it theft? If you go by the whole "code is law" (is that still a popular catch phrase? I don't keep up with crypto much anymore), then this is not theft. The contract let this happen, so it's legal.

Edit: heh, I see a lot of HN had the exact same thought process and we all commented at the same time. I'll leave this up anyway.