contracts: change the contract syntax

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

diff --git a/tests/sav/test_string_is_numeric.res b/tests/sav/test_string_is_numeric.res
index e53b6ea..ba0fbec 100644 (file)
--- a/tests/sav/test_string_is_numeric.res
+++ b/tests/sav/test_string_is_numeric.res
@@ -1,7 +1,7 @@
 false
 true
 true
-true
+false
 false
 false
 false