contracts: change the contract syntax

[nit.git] / tests / sav / error_formal.res

diff --git a/tests/sav/error_formal.res b/tests/sav/error_formal.res
index 319de47..bae2431 100644 (file)
--- a/tests/sav/error_formal.res
+++ b/tests/sav/error_formal.res
@@ -1 +1 @@
-error_formal.nit:18,9--13: Type Error: formal type `T` cannot have formal parameters.
+error_formal.nit:18,9--14: Type Error: formal type `T` cannot have formal parameters.