Merge branch 'alexamdre/various-fixes' into next
[nit.git] / tests / sav / base_assert_alt6.sav
2009-08-19 Jean Privatsyntax: new 'assert else' statement