[PATCH] Missing break

[Tobias Güntner]

Hi!

Am 08.03.2014 19:32, schrieb Tim Northover:
> Both changes look obviously right, but the first one looks like it
> should be testable somehow. Presumably you found it when the current
> behaviour caused you problems. Do you have (or can you make) some
> small code snippet that could be added to our tests?

I'm afraid not. I was just browsing through the code, looking for 
something else, when I noticed a fall-through without a comment.

Regards,
Tobias