Cleanup

tautschnig · Sep 3, 2024 · 788575b · 788575b
1 parent 97acf27
commit 788575b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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")