contracts: change the contract syntax

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

diff --git a/tests/sav/nitmetrics_args2.res b/tests/sav/nitmetrics_args2.res
index 44d7ef9..3bdea7a 100644 (file)
--- a/tests/sav/nitmetrics_args2.res
+++ b/tests/sav/nitmetrics_args2.res
@@ -1,5 +1,5 @@
 *** METRICS ***
---- Metrics of covariance detection ---
+--- Detection of variance constraints on formal parameter types ---
 -- Generic classes --
  list:
   with 1 formal type parameter: 13 (92.85%)