From 155e671f7b83293ae327ddbd252d1d1ac961ab9a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 13:35:08 +0100
Subject: some work on ssreflect and discrete

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

(limited to 'mathcomp/ssreflect/Make')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
index 9e7c5db..6c76897 100644
--- a/mathcomp/ssreflect/Make
+++ b/mathcomp/ssreflect/Make
@@ -6,3 +6,11 @@ ssreflect.v
 ssrfun.v
 ssrmatching.v
 ssrnat.v
+
+ssreflect.mllib
+ssrmatching.mli
+ssrmatching.ml4
+ssreflect.ml4
+
+-I .
+-R . mathcomp.ssreflect
-- 
cgit v1.2.3