X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_constructor.res b/tests/sav/contracts_constructor.res index f0801df..94dfe03 100644 --- a/tests/sav/contracts_constructor.res +++ b/tests/sav/contracts_constructor.res @@ -1 +1 @@ -Runtime error: Assert 'expect' failed (contracts_constructor.nit:20) +Runtime error: Assert 'expect(test > 10)' failed (contracts_constructor.nit:20)