contracts: change the contract syntax

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

diff --git a/tests/sav/test_list.res b/tests/sav/test_list.res
index aeefd2b..f63f498 100644 (file)
--- a/tests/sav/test_list.res
+++ b/tests/sav/test_list.res
@@ -1,10 +1,10 @@
 12341234-10404132
 part2
-123456
+[1,2,3,4,5,6]
 true
 true
 true
 true
 true
 true
--12-35-6
+[-1,2,-3,5,-6]