nitg: add option --global
[nit.git] / tests / sav / base_abstract_fun.sav
2012-04-20 Jean Privattests: add base_abstract_fun