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