check_annotation: Adding ensures annotation

[nit.git] / src / frontend / check_annotation.nit

diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit
index 0fe18cb..b04c498 100644 (file)
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -110,6 +110,10 @@ before
 before_all
 after
 after_all
+example
+
+expects
+ensures
 """
 
        # Efficient set build from `primtives_annotations_list`