contracts: change the contract syntax

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

diff --git a/tests/sav/test_ropes.res b/tests/sav/test_ropes.res
index 7e4b7c1..8c7831d 100644 (file)
--- a/tests/sav/test_ropes.res
+++ b/tests/sav/test_ropes.res
@@ -13,7 +13,6 @@ now step live...
 now step live...
  live...
 .
- live stepnow
 ...evil pets won
 n
 now step live... step live...