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/Make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index 66160b4..9f41de1 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -20,7 +20,6 @@ all/all.v
 character/all_character.v
 character/character.v
 character/classfun.v
-character/finfield.v
 character/inertia.v
 character/integral_char.v
 character/mxabelem.v
@@ -35,6 +34,7 @@ field/countalg.v
 field/cyclotomic.v
 field/falgebra.v
 field/fieldext.v
+field/finfield.v
 field/galois.v
 field/separable.v
 fingroup/action.v
-- 
cgit v1.2.3