From 532de9b68384a114c6534a0736ed024c900447f9 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 17 Jul 2015 18:03:31 +0200
Subject: Updating files + reorganizing everything

---
 mathcomp/solvable/Make | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'mathcomp/solvable/Make')

diff --git a/mathcomp/solvable/Make b/mathcomp/solvable/Make
index 41bd3e0..d89d213 100644
--- a/mathcomp/solvable/Make
+++ b/mathcomp/solvable/Make
@@ -1,9 +1,10 @@
 abelian.v
-all.v
+all_solvable.v
 alt.v
 burnside_app.v
 center.v
 commutator.v
+cyclic.v
 extraspecial.v
 extremal.v
 finmodule.v
-- 
cgit v1.2.3