diff --git a/jbmc/unit/CMakeLists.txt b/jbmc/unit/CMakeLists.txt
index 785868eee650..781e39b66aca 100644
--- a/jbmc/unit/CMakeLists.txt
+++ b/jbmc/unit/CMakeLists.txt
@@ -1,5 +1,4 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
-message("${CMAKE_CURRENT_SOURCE_DIR}: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}")
 list(APPEND sources  ${CBMC_SOURCE_DIR}/../unit/unit_tests.cpp)
 
 file(GLOB_RECURSE java-testing_utils "java-testing-utils/*.cpp" "java-testing-utils/*.h")