From: Florian Deljarry <deljarry.florian@gmail.com>
Date: Thu, 25 Apr 2019 20:24:03 +0000 (-0400)
Subject: check_annotation: Adding ensures annotation
X-Git-Url: http://nitlanguage.org?ds=sidebyside;hp=0eb3fdecdd468dbf0fb02c4d55dd1cfa78aa60f5

check_annotation: Adding ensures 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 b652061..b04c498 100644
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -113,6 +113,7 @@ after_all
 example
 
 expects
+ensures
 """
 
 	# Efficient set build from `primtives_annotations_list`