From 788575b53a559b60bb7a58a3002b2dceac701ddf Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 3 Sep 2024 12:14:56 +0000
Subject: [PATCH] Cleanup

---
 jbmc/unit/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

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")