X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_same_contract.res b/tests/sav/contracts_same_contract.res index cf99218..54afbe1 100644 --- a/tests/sav/contracts_same_contract.res +++ b/tests/sav/contracts_same_contract.res @@ -1 +1 @@ -contracts_same_contract.nit:22,3--18: The method already has a defined `expects` contract at line 21 +contracts_same_contract.nit:22,3--17: The method already has a defined `expect` contract at line 21