From f3671d37b31f0745a82e6968157bfbb0c0c959e9 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 24 Mar 2015 15:07:18 +0100
Subject: change finfield from field to character

---
 mathcomp/solvable/all.v | 1 -
 1 file changed, 1 deletion(-)

(limited to 'mathcomp/solvable')

diff --git a/mathcomp/solvable/all.v b/mathcomp/solvable/all.v
index 72405c5..8c2ea8f 100644
--- a/mathcomp/solvable/all.v
+++ b/mathcomp/solvable/all.v
@@ -16,4 +16,3 @@ Require Export nilpotent.
 Require Export pgroup.
 Require Export primitive_action.
 Require Export sylow.
-Require Export wielandt_fixpoint.
-- 
cgit v1.2.3