From 40021d41b085276c4c26bc5de7484add920e31f0 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 18 Jul 2015 14:38:59 +0200
Subject: update to preserve backward compatibility with v8.4

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

(limited to 'mathcomp/basic/Make')

diff --git a/mathcomp/basic/Make b/mathcomp/basic/Make
index cd88088..8acef84 100644
--- a/mathcomp/basic/Make
+++ b/mathcomp/basic/Make
@@ -12,4 +12,4 @@ path.v
 prime.v
 tuple.v
 
--R . mathcomp.discrete
+-R . mathcomp.basic
\ No newline at end of file
-- 
cgit v1.2.3