check_annotation: adding no_contract

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

diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit
index b652061..41ed278 100644 (file)
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -113,6 +113,8 @@ after_all
 example
 
 expects
+ensures
+no_contract
 """
 
        # Efficient set build from `primtives_annotations_list`