@@ -1424,12 +1424,12 @@ static void checkContract(Data &data, const Token *tok, const Function *function
14241424 const std::string functionName = contractIt->first ;
14251425 const std::string functionExpects = contractIt->second ;
14261426 ErrorMessage errmsg (callstack,
1427- &data.tokenizer ->list ,
1428- Severity::SeverityType::error,
1429- id,
1430- " Function '" + function->name () + " ' is called, can not determine that its contract '" + functionExpects + " ' is always met." ,
1431- CWE (0 ),
1432- false );
1427+ &data.tokenizer ->list ,
1428+ Severity::SeverityType::error,
1429+ id,
1430+ " Function '" + function->name () + " ' is called, can not determine that its contract '" + functionExpects + " ' is always met." ,
1431+ CWE (0 ),
1432+ false );
14331433 errmsg.incomplete = bailoutValue;
14341434 errmsg.function = functionName;
14351435 data.errorLogger ->reportErr (errmsg);
@@ -1442,12 +1442,12 @@ static void checkContract(Data &data, const Token *tok, const Function *function
14421442 const auto contractIt = data.settings ->functionContracts .find (function->fullName ());
14431443 const std::string functionExpects = contractIt->second ;
14441444 ErrorMessage errmsg (callstack,
1445- &data.tokenizer ->list ,
1446- Severity::SeverityType::error,
1447- id,
1448- " Function '" + function->name () + " ' is called, can not determine that its contract is always met." ,
1449- CWE (0 ),
1450- false );
1445+ &data.tokenizer ->list ,
1446+ Severity::SeverityType::error,
1447+ id,
1448+ " Function '" + function->name () + " ' is called, can not determine that its contract is always met." ,
1449+ CWE (0 ),
1450+ false );
14511451 errmsg.incomplete = true ;
14521452 data.errorLogger ->reportErr (errmsg);
14531453 }
0 commit comments