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