man/nitmetrics.md: add missing `--detect-covariance`
authorJean Privat <jean@pryen.org>
Wed, 21 Oct 2015 02:27:08 +0000 (22:27 -0400)
committerJean Privat <jean@pryen.org>
Wed, 21 Oct 2015 12:42:53 +0000 (08:42 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

share/man/nitmetrics.md

index 0277161..1841d61 100644 (file)
@@ -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`