From 37f0673c5ecaf1325095f06f1eb8b1478313e5b1 Mon Sep 17 00:00:00 2001
From: Georges Gonthier
Date: Tue, 1 Dec 2015 17:45:46 +0000
Subject: Move finfield to field module

---
 mathcomp/character/Make | 1 -
 1 file changed, 1 deletion(-)

(limited to 'mathcomp/character/Make')

diff --git a/mathcomp/character/Make b/mathcomp/character/Make
index 6d1f18c..44f2660 100644
--- a/mathcomp/character/Make
+++ b/mathcomp/character/Make
@@ -1,7 +1,6 @@
 all_character.v
 character.v
 classfun.v
-finfield.v
 inertia.v
 integral_char.v
 mxabelem.v
-- 
cgit v1.2.3