contracts: change the contract syntax

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

diff --git a/tests/sav/test_loader_args1.res b/tests/sav/test_loader_args1.res
index c237e27..830f160 100644 (file)
--- a/tests/sav/test_loader_args1.res
+++ b/tests/sav/test_loader_args1.res
@@ -14,8 +14,8 @@ scan_full found 6 modules
   model: mpackages=1 mmodules=5
   mb: identified modules=5; parsed modules=0
 parse found 2 modules
-  model: mpackages=2 mmodules=10
-  mb: identified modules=10; parsed modules=6
+  model: mpackages=2 mmodules=11
+  mb: identified modules=11; parsed modules=6
 parse_full found 5 modules
-  model: mpackages=2 mmodules=10
-  mb: identified modules=10; parsed modules=6
+  model: mpackages=2 mmodules=11
+  mb: identified modules=11; parsed modules=6