contracts: change the contract syntax

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

diff --git a/tests/sav/base_div_by_zero.res b/tests/sav/base_div_by_zero.res
index 737a96e..a751d34 100644 (file)
--- a/tests/sav/base_div_by_zero.res
+++ b/tests/sav/base_div_by_zero.res
@@ -1 +1,5 @@
-base_div_by_zero.nit:17,16--20: Error: Definitely division by zero
+base_div_by_zero.nit:17,16--20: Warning: division by zero.
+0
+5
+inf
+0