contracts: change the contract syntax

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

diff --git a/tests/sav/test_model_index_args8.res b/tests/sav/test_model_index_args8.res
index 6381895..0b99c62 100644 (file)
--- a/tests/sav/test_model_index_args8.res
+++ b/tests/sav/test_model_index_args8.res
@@ -4,8 +4,8 @@
  * 1: * (test_prog::Int::*)
  * 1: + (test_prog::Int::+)
  * 1: + (test_prog::Float::+)
- * 1: - (test_prog::Int::-)
  * 1: - (test_prog::Float::-)
+ * 1: - (test_prog::Int::-)
  * 1: / (test_prog::Int::/)
  * 1: / (test_prog::Float::/)
  * 1: > (test_prog::Int::>)