On Fri, Dec 02, 2016 at 04:24:20PM +0100, Janus Weil wrote: > > another simple fix for a rather old PR. This one adds a new check, in > order to provide better error messages than just "Unclassifiable > statement". > > Regtests cleanly on x86_64-linux-gnu. Ok for trunk? >
OK. -- Steve