From 755068fd34f0fa1e918123c4859aef2e89bedfca Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 14 Sep 2020 13:58:24 +0200
Subject: test-suite works both in local and system wide mode

---
 mathcomp/Make.test-suite | 1 -
 1 file changed, 1 deletion(-)

(limited to 'mathcomp/Make.test-suite')

diff --git a/mathcomp/Make.test-suite b/mathcomp/Make.test-suite
index 0b51909..f34958d 100644
--- a/mathcomp/Make.test-suite
+++ b/mathcomp/Make.test-suite
@@ -3,7 +3,6 @@ test_suite/test_ssrAC.v
 test_suite/test_guard.v
 
 -I .
--R . mathcomp
 
 -arg -w -arg -notation-overridden
 -arg -w -arg -ambiguous-paths
-- 
cgit v1.2.3