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