contracts: change the contract syntax

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

diff --git a/tests/sav/test_print.res b/tests/sav/test_print.res
index cc6da05..4701449 100644 (file)
--- a/tests/sav/test_print.res
+++ b/tests/sav/test_print.res
@@ -5,4 +5,4 @@
 true
 false
 
-1
+[1]