contracts: change the contract syntax

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

diff --git a/tests/sav/test_string2.res b/tests/sav/test_string2.res
index 58e3835..220af2f 100644 (file)
--- a/tests/sav/test_string2.res
+++ b/tests/sav/test_string2.res
@@ -21,6 +21,8 @@ true
 true
 true
 true
+true
+true
 5
 a
 e
@@ -44,6 +46,8 @@ true
 true
 true
 true
+true
+true
 5
 a
 e
@@ -67,3 +71,5 @@ true
 true
 true
 true
+true
+true