From 0eb3fdecdd468dbf0fb02c4d55dd1cfa78aa60f5 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Fri, 19 Apr 2019 17:39:24 -0400 Subject: [PATCH] check_annotation: Adding expects annotation Signed-off-by: Florian Deljarry --- src/frontend/check_annotation.nit | 2 ++ 1 file changed, 2 insertions(+) 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` -- 1.7.9.5