tests/sav/error_type_not_ok4.res

   1 error_type_not_ok4.nit:21,10--13: Error: class `Fail` not found in module `error_type_not_ok4`.
   2 error_type_not_ok4.nit:25,16--19: Error: class `Fail` not found in module `error_type_not_ok4`.
   3 error_type_not_ok4.nit:29,9--12: Error: class `Fail` not found in module `error_type_not_ok4`.
   4 error_type_not_ok4.nit:30,12--15: Error: class `Fail` not found in module `error_type_not_ok4`.
   5 error_type_not_ok4.nit:31,18--21: Error: class `Fail` not found in module `error_type_not_ok4`.
   6 error_type_not_ok4.nit:32,10--13: Error: class `Fail` not found in module `error_type_not_ok4`.
   7 error_type_not_ok4.nit:33,16--19: Error: class `Fail` not found in module `error_type_not_ok4`.