nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge: Contract: Change mpropdef driving
[nit.git]
/
tests
/
contracts_ensures_4.nit
diff --git
a/tests/contracts_ensures_4.nit
b/tests/contracts_ensures_4.nit
index
d5cd82d
..
974d475
100644
(file)
--- a/
tests/contracts_ensures_4.nit
+++ b/
tests/contracts_ensures_4.nit
@@
-17,7
+17,7
@@
class MyClass
fun foo(x: Int): Bool
is
- ensures(x > 0, result)
+ ensure(x > 0, result)
do
return true
end
@@
-28,7
+28,7
@@
class MySubClass
redef fun foo(x: Int)
is
- ensures(not result)
+ ensure(not result)
do
return super
end