From f24095cfbe19c9ddb5ff3dee17a50f715a98acf5 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 25 Feb 2018 23:56:29 +0100
Subject: Add ssrmatching.v transitional file

The content of this file is similar to that of ssrfun.v and aims to
increase compatibility with Coq 8.6+ for third-party libraries that
depend on both math-comp and ssrmatching.v

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

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index d3c7642..1db29ba 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -130,6 +130,7 @@ ssreflect/ssreflect.v
 ssreflect/ssrfun.v
 ssreflect/ssrnat.v
 ssreflect/ssrnotations.v
+ssreflect/ssrmatching.v
 ssreflect/tuple.v
 ssrtest/absevarprop.v
 ssrtest/abstract_var2.v
-- 
cgit v1.2.3