1 files changed, 3 insertions, 0 deletions
diff --git a/mathcomp/Make b/mathcomp/Make
index e259330..d3c7642 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -132,15 +132,18 @@ ssreflect/ssrnat.v
 ssreflect/ssrnotations.v
 ssreflect/tuple.v
 ssrtest/absevarprop.v
+ssrtest/abstract_var2.v
 ssrtest/binders_of.v
 ssrtest/binders.v
 ssrtest/caseview.v
 ssrtest/congr.v
 ssrtest/deferclear.v
+ssrtest/derive_inversion.v
 ssrtest/dependent_type_err.v
 ssrtest/elim2.v
 ssrtest/elim_pattern.v
 ssrtest/elim.v
+ssrtest/explain_match.v
 ssrtest/first_n.v
 ssrtest/gen_have.v
 ssrtest/gen_pattern.v