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