contracts: change the contract syntax

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

diff --git a/tests/sav/test_model_index_args13.res b/tests/sav/test_model_index_args13.res
index cb5e115..62bdafb 100644 (file)
--- a/tests/sav/test_model_index_args13.res
+++ b/tests/sav/test_model_index_args13.res
@@ -1,12 +1,3 @@
 # Obj
 
- * 3: * (test_prog::Float::*)
- * 3: / (test_prog::Int::/)
- * 3: == (test_prog::Object::==)
- * 3: Elf (test_prog::Elf)
- * 3: Int (test_prog::Int)
  * 1: Object (test_prog::Object)
- * 3: Sys (test_prog::Sys)
- * 3: age (test_prog::Character::age)
- * 3: rpg (test_prog>rpg>)
- * 3: rpg (test_prog::rpg)