From 76794e738bc9c2f9e26dfafab94ccfac39ce50de Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 25 Aug 2016 13:58:30 +0200
Subject: FIX: adding missing version of the ssreflect plugin that compiles
 with Coq v8.6.

The committed files represent copies of the ssreflect plugin for Coq trunk taken from commit c353aa5
which is the last commit in which ssreflect plugin marked for Coq trunk is usable with both, Coq trunk as well as Coq v8.6.
---
 mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack

(limited to 'mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack')

diff --git a/mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack b/mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack
new file mode 100644
index 0000000..006b70f
--- /dev/null
+++ b/mathcomp/ssreflect/plugin/v8.6/ssreflect_plugin.mlpack
@@ -0,0 +1,2 @@
+Ssrmatching
+Ssreflect
-- 
cgit v1.2.3