X-Git-Url: http://nitlanguage.org diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit index b652061..9dc9cfd 100644 --- a/src/frontend/check_annotation.nit +++ b/src/frontend/check_annotation.nit @@ -112,7 +112,9 @@ after after_all example -expects +expect +ensure +no_contract """ # Efficient set build from `primtives_annotations_list`