From dbe708a468f0c4e6c37b478e35250152133fd6d3 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Tue, 14 Jul 2020 22:56:28 -0400 Subject: [PATCH] tests: Update annotation syntax test result Signed-off-by: Florian Deljarry --- tests/sav/syntax_annotations3.res | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/sav/syntax_annotations3.res b/tests/sav/syntax_annotations3.res index 52e959447b..60964a087d 100644 --- a/tests/sav/syntax_annotations3.res +++ b/tests/sav/syntax_annotations3.res @@ -1,4 +1,4 @@ -syntax_annotations3.nit:16,2--20: Warning: unknown annotation `invariant`. +syntax_annotations3.nit:16,12--16: Error: method or variable `solde` unknown in `Account`. syntax_annotations3.nit:19,3--12: Warning: unknown annotation `pre`. syntax_annotations3.nit:20,3--22: Warning: unknown annotation `post`. syntax_annotations3.nit:28,3--7: Warning: unknown annotation `inter`.