Merge remote-tracking branch 'lucas/ropes'
[nit.git] / tests / sav / error_redef_1alt2.sav