contracts: change the contract syntax

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

diff --git a/tests/sav/base_notnull_lit.res b/tests/sav/base_notnull_lit.res
index dc19389..8b287f4 100644 (file)
--- a/tests/sav/base_notnull_lit.res
+++ b/tests/sav/base_notnull_lit.res
@@ -1,4 +1,4 @@
 Array[Int]
-156
+[1,5,6]
 Range[Int]
-12345
+[1,2,3,4,5]