diff options
| author | Georges Gonthier | 2015-12-01 17:45:46 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:20 +0000 |
| commit | 37f0673c5ecaf1325095f06f1eb8b1478313e5b1 (patch) | |
| tree | 01cc744c37aff4475dab077917ce6e671bfdb464 /mathcomp/Make | |
| parent | 058ec3b9957553cdc8a82dae6d50f48d559f4fe4 (diff) | |
Move finfield to field module
Diffstat (limited to 'mathcomp/Make')
| -rw-r--r-- | mathcomp/Make | 2 |
1 files changed, 1 insertions, 1 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 |