metrics: rename title of detect_variance_constraints

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/metrics/detect_variance_constraints.nit b/src/metrics/detect_variance_constraints.nit
index 1f73fab..3665376 100644 (file)
--- a/src/metrics/detect_variance_constraints.nit
+++ b/src/metrics/detect_variance_constraints.nit
@@ -50,7 +50,7 @@ private class DetectVarianceConstraintsPhase
        do
                if not toolcontext.opt_detect_variance_constraints.value and not toolcontext.opt_all.value then return
 
-               print "--- Metrics of covariance detection ---"
+               print "--- Detection of variance constraints on formal parameter types ---"
 
                var k = new DetectVarianceConstraints
                k.collect(mainmodule)