From be821e08f2c1492710ffff0275d3588ffbd2fc6a Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Tue, 15 Mar 2016 12:23:54 +0100
Subject: all_algebra now exports zmodp

---
 mathcomp/algebra/all_algebra.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/all_algebra.v b/mathcomp/algebra/all_algebra.v
index 8a93ca9..8a31d60 100644
--- a/mathcomp/algebra/all_algebra.v
+++ b/mathcomp/algebra/all_algebra.v
@@ -14,3 +14,4 @@ Require Export mxalgebra.
 Require Export vector.
 Require Export ring_quotient.
 Require Export fraction.
+Require Export zmodp.
-- 
cgit v1.2.3