6 files changed, 3 insertions, 3 deletions
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
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
diff --git a/mathcomp/character/all_character.v b/mathcomp/character/all_character.v
index 927d9a0..936fa6c 100644
--- a/mathcomp/character/all_character.v
+++ b/mathcomp/character/all_character.v
@@ -5,4 +5,3 @@ Require Export integral_char.
 Require Export mxabelem.
 Require Export mxrepresentation.
 Require Export vcharacter.
-Require Export finfield.
-\ No newline at end of file
diff --git a/mathcomp/field/Make b/mathcomp/field/Make
index 66b6d6a..00aa7a5 100644
--- a/mathcomp/field/Make
+++ b/mathcomp/field/Make
@@ -7,6 +7,7 @@ countalg.v
 cyclotomic.v
 falgebra.v
 fieldext.v
+finfield.v
 galois.v
 separable.v
 
diff --git a/mathcomp/field/all_field.v b/mathcomp/field/all_field.v
index c26dbba..a57ac19 100644
--- a/mathcomp/field/all_field.v
+++ b/mathcomp/field/all_field.v
@@ -6,5 +6,6 @@ Require Export countalg.
 Require Export cyclotomic.
 Require Export falgebra.
 Require Export fieldext.
+Require Export finfield.
 Require Export galois.
 Require Export separable.
diff --git a/mathcomp/character/finfield.v b/mathcomp/field/finfield.v
index 9fb1b99..9fb1b99 100644
--- a/mathcomp/character/finfield.v
+++ b/mathcomp/field/finfield.v