From 8cc0b96f21dbc3818a0c5dfd778d9cadd66e4beb Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 31 Jul 2017 09:42:42 +0200
Subject: Fix build of ssreflect/ only on 8.6

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

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
index 4abe49f..fc596ab 100644
--- a/mathcomp/ssreflect/Make
+++ b/mathcomp/ssreflect/Make
@@ -19,4 +19,5 @@ prime.v
 tuple.v
 ssrnotations.v
 
+-I .
 -R . mathcomp.ssreflect
-- 
cgit v1.2.3