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

(limited to 'mathcomp/ssreflect/Make')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
index c529f21..108f545 100644
--- a/mathcomp/ssreflect/Make
+++ b/mathcomp/ssreflect/Make
@@ -19,6 +19,7 @@ prime.v
 tuple.v
 ssrnotations.v
 ssrmatching.v
+order.v
 
 -I .
 -R . mathcomp.ssreflect
-- 
cgit v1.2.3