From f8e3da81d4e8d07d982161b4320495e627d612db Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 20 Oct 2015 22:27:08 -0400 Subject: [PATCH] man/nitmetrics.md: add missing `--detect-covariance` Signed-off-by: Jean Privat --- share/man/nitmetrics.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/share/man/nitmetrics.md b/share/man/nitmetrics.md index 0277161..1841d61 100644 --- a/share/man/nitmetrics.md +++ b/share/man/nitmetrics.md @@ -57,6 +57,9 @@ Detects the definition-site variance constraints on formal parameters. Infers the possible variance annotations of formal types in Nit programs by identifying the existing constraints on the usage of those formal type. +### `--detect-covariance` +Detect the static covariance usages. + ## OUTPUT ### `--csv` -- 1.7.9.5