From 2e9da416f64ea7ebc1d8c724db390fc85931cd1a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 11 Jan 2026 19:52:07 -0800
Subject: [PATCH] remove optional_benchmarks from CmakeLists

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/CMakeLists.txt b/src/test/CMakeLists.txt
index 3d2e7507c..3779f3413 100644
--- a/src/test/CMakeLists.txt
+++ b/src/test/CMakeLists.txt
@@ -100,7 +100,6 @@ add_executable(test-z3
   object_allocator.cpp
   old_interval.cpp
   optional.cpp
-  optional_benchmark.cpp
   parray.cpp
   pb2bv.cpp
   pdd.cpp