From 96a3c59b4586164e8aa80f53f0f9031fd1167ce8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 3 May 2017 09:32:34 +0200
Subject: For trunk, use merged ssr plugin.

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

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index a7ffeb0..e259330 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -129,6 +129,7 @@ ssreflect/ssrbool.v
 ssreflect/ssreflect.v
 ssreflect/ssrfun.v
 ssreflect/ssrnat.v
+ssreflect/ssrnotations.v
 ssreflect/tuple.v
 ssrtest/absevarprop.v
 ssrtest/binders_of.v
@@ -173,7 +174,6 @@ ssrtest/view_case.v
 ssrtest/wlogletin.v
 ssrtest/wlog_suff.v
 ssrtest/wlong_intro.v
-ssreflect.ml4
 
 -I .
 -R . mathcomp
-- 
cgit v1.2.3