From b8bdf14f3e4b25578d107160161f5bd2b548a113 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 14:06:51 +0200
Subject: Remove secondary betree test

Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to
add a more adequate replacement test.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 506dec5e..dc38e56a 100644
--- a/Makefile
+++ b/Makefile
@@ -117,7 +117,6 @@ test: build-dev test-all
 test-all: \
 	test-arrays \
 	test-betree_main \
-	test-betree_main-special \
 	test-bitwise \
 	test-constants \
 	test-demo \
-- 
cgit v1.2.3