From 7c6db77388b6dd251019356745a2ec6bc767444c Mon Sep 17 00:00:00 2001
From: Matej Košík
Date: Wed, 14 Jun 2017 11:19:55 +0200
Subject: Fix compilation of ssreflect/ submodule

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

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
index a10b9c5..ea3d104 100644
--- a/mathcomp/ssreflect/Make
+++ b/mathcomp/ssreflect/Make
@@ -17,6 +17,7 @@ generic_quotient.v
 path.v
 prime.v
 tuple.v
+ssrnotations.v
 
 ssreflect.ml4
 
-- 
cgit v1.2.3