From: Florian Deljarry <deljarry.florian@gmail.com>
Date: Fri, 19 Apr 2019 21:39:24 +0000 (-0400)
Subject: check_annotation: Adding expects annotation
X-Git-Url: http://nitlanguage.org

check_annotation: Adding expects annotation

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
---

diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit
index b002d16..b652061 100644
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -111,6 +111,8 @@ before_all
 after
 after_all
 example
+
+expects
 """
 
 	# Efficient set build from `primtives_annotations_list`