1 files changed, 12 insertions, 13 deletions
diff --git a/mathcomp/Make b/mathcomp/Make
index d8fb252..66160b4 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -17,19 +17,6 @@ algebra/ssrnum.v
 algebra/vector.v
 algebra/zmodp.v
 all/all.v
-basic/all_basic.v
-basic/bigop.v
-basic/binomial.v
-basic/choice.v
-basic/div.v
-basic/finfun.v
-basic/fingraph.v
-basic/finset.v
-basic/fintype.v
-basic/generic_quotient.v
-basic/path.v
-basic/prime.v
-basic/tuple.v
 character/all_character.v
 character/character.v
 character/classfun.v
@@ -125,13 +112,25 @@ solvable/pgroup.v
 solvable/primitive_action.v
 solvable/sylow.v
 ssreflect/all_ssreflect.v
+ssreflect/bigop.v
+ssreflect/binomial.v
+ssreflect/choice.v
+ssreflect/div.v
 ssreflect/eqtype.v
+ssreflect/finfun.v
+ssreflect/fingraph.v
+ssreflect/finset.v
+ssreflect/fintype.v
+ssreflect/generic_quotient.v
+ssreflect/path.v
+ssreflect/prime.v
 ssreflect/seq.v
 ssreflect/ssrbool.v
 ssreflect/ssreflect.v
 ssreflect/ssrfun.v
 ssreflect/ssrmatching.v
 ssreflect/ssrnat.v
+ssreflect/tuple.v
 ssrtest/absevarprop.v
 ssrtest/binders_of.v
 ssrtest/binders.v