From 130c2102392777dec3ff0220e8fe72601800dbda 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 e3c151129..77cf2f6fd 100644
--- a/src/test/CMakeLists.txt
+++ b/src/test/CMakeLists.txt
@@ -98,7 +98,6 @@ add_executable(test-z3
   object_allocator.cpp
   old_interval.cpp
   optional.cpp
-  optional_benchmark.cpp
   parray.cpp
   pb2bv.cpp
   pdd.cpp