From 5af8412b48aef44448d3ce674612aa18feb961b3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 11 Mar 2024 09:42:32 +0100
Subject: Update tests/Makefile

---
 tests/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/Makefile')

diff --git a/tests/Makefile b/tests/Makefile
index ccdbf652..8d40e8da 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-all: test-fstar test-fstar-split test-coq test-lean test-hol4
+all: test-fstar test-coq test-lean test-hol4
 
 test-%:
 	cd $* && $(MAKE) all
-- 
cgit v1.2.3