No need for this

msoos · Jan 13, 2024 · 1eb7bba · 1eb7bba
1 parent 373e434
commit 1eb7bba
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/GitSHA1.cpp.in b/src/GitSHA1.cpp.in
@@ -42,7 +42,6 @@ const char* CMSat::get_compilation_env()
     "COMPILE_DEFINES = @COMPILE_DEFINES@ | "
     "STATICCOMPILE = @STATICCOMPILE@ | "
     "ONLY_SIMPLE = @ONLY_SIMPLE@ | "
-    "Boost_FOUND = @Boost_FOUND@ | "
     "STATS = @STATS@ | "
     "SQLITE3_FOUND = @SQLITE3_FOUND@ | "
     "ZLIB_FOUND = @ZLIB_FOUND@ | "