Merge: contracts: fix usage of contract with `--erasure`

[nit.git] / src / metrics / metrics.nit

diff --git a/src/metrics/metrics.nit b/src/metrics/metrics.nit
index 3d693af..4ce3005 100644 (file)
--- a/src/metrics/metrics.nit
+++ b/src/metrics/metrics.nit
@@ -20,6 +20,7 @@ module metrics
 import metrics_base
 import mmodules_metrics
 import mclasses_metrics
+import mendel_metrics
 import inheritance_metrics
 import refinement_metrics
 import static_types_metrics
@@ -31,3 +32,6 @@ import model_hyperdoc
 import tables_metrics
 import poset_metrics
 import ast_metrics
+import readme_metrics
+import detect_variance_constraints
+import detect_covariance