From 338345e8480a420883fca318d9ad9cd5965fa819 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 23 May 2023 16:17:31 +0200
Subject: Update tests/Makefile

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

(limited to 'tests')

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