[thin_check] A space map count being too high should be a NON_FATAL error.

This commit is contained in:
Joe Thornber 2015-04-08 12:32:31 +01:00
parent 34df640d8d
commit 0fee897fda
1 changed files with 3 additions and 1 deletions

View File

@ -292,7 +292,9 @@ namespace {
<< ", expected " << c_expected
<< ", but got " << c_actual
<< end_message();
mplus_err = combine_errors(mplus_err, FATAL);
mplus_err = combine_errors(mplus_err,
c_actual > c_expected ? NON_FATAL : FATAL);
}
}
}