Merge branch 'master' of github.com:periscop/clay
[clay.git] / tests / must_fail / skew_statement1.c.clay.scop
blobd123553c0860e70728aef0bdae5a8df01537e8f0
1 [Clay] Error: line 1: the beta is not a loop