1 files changed, 0 insertions, 3 deletions

diff --git a/src/common/CMakeLists.txt b/src/common/CMakeLists.txt
index 55a5f9eba..868fda55e 100644
--- a/src/common/CMakeLists.txt
+++ b/src/common/CMakeLists.txt
@@ -49,9 +49,6 @@ set(HEADERS
             msg_handler.h
             platform.h
             scm_rev.h
-            std_condition_variable.h
-            std_mutex.h
-            std_thread.h
             string_util.h
             swap.h
             symbols.h