From 36613c83d65aa821b01a9fac38c479af65ef3589 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Tue, 16 Jun 2020 02:11:03 +0900
Subject: Fix some Makefile issues and rename `hierarchy_test.v` to
 `test_hierarchy_all.v`

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

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

diff --git a/mathcomp/Make.test-suite b/mathcomp/Make.test-suite
index 2be741b..0b51909 100644
--- a/mathcomp/Make.test-suite
+++ b/mathcomp/Make.test-suite
@@ -1,4 +1,4 @@
-test_suite/hierarchy_test.v
+test_suite/test_hierarchy_all.v
 test_suite/test_ssrAC.v
 test_suite/test_guard.v
 
-- 
cgit v1.2.3