From 80bf757ad263efd615d517b68e155aaa4e68aa89 Mon Sep 17 00:00:00 2001
From: Cohen Cyril
Date: Fri, 23 Feb 2018 13:57:56 +0100
Subject: Initial import of order.v into mathcomp

---
 mathcomp/Make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index c4391ae..0a2c4a4 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -77,6 +77,7 @@ ssreflect/fingraph.v
 ssreflect/finset.v
 ssreflect/fintype.v
 ssreflect/generic_quotient.v
+ssreflect/order.v
 ssreflect/path.v
 ssreflect/prime.v
 ssreflect/seq.v
-- 
cgit v1.2.3