From cfed69caae6884b53fe57d4880913afafae69b10 Mon Sep 17 00:00:00 2001 From: FabianWolff Date: Sun, 7 Jun 2020 21:28:39 +0200 Subject: [PATCH] Remove __DATE__ to make the build more reproducible (#4505) --- src/api/api_log.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp index 942448a7f..e740a21c3 100644 --- a/src/api/api_log.cpp +++ b/src/api/api_log.cpp @@ -54,7 +54,7 @@ extern "C" { res = false; } else { - *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n"; + *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << "\"\n"; g_z3_log->flush(); g_z3_log_enabled = true; }