Merge remote branch 'origin/pu/nitdoc-graph' into wip
[nit.git] / tests / sav / base_assert_alt6.sav
2009-08-19 Jean Privatsyntax: new 'assert else' statement