contracts: change the contract syntax

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

diff --git a/tests/sav/guess_the_number.res b/tests/sav/guess_the_number.res
index e3b8211..a1abd34 100644 (file)
--- a/tests/sav/guess_the_number.res
+++ b/tests/sav/guess_the_number.res
@@ -1,4 +1,2 @@
 enter a guess :
-enter a guess :
-enter a guess :
 Well guessed