X-Git-Url: http://nitlanguage.org diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit index 41ed278..9dc9cfd 100644 --- a/src/frontend/check_annotation.nit +++ b/src/frontend/check_annotation.nit @@ -112,8 +112,8 @@ after after_all example -expects -ensures +expect +ensure no_contract """