diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp
index 1bdbb8735..0f531b98e 100644
--- a/src/api/api_log.cpp
+++ b/src/api/api_log.cpp
@@ -19,7 +19,7 @@ Revision History:
 #include "api/z3.h"
 #include "api/api_log_macros.h"
 #include "util/util.h"
-#include "util/version.h"
+#include "util/z3_version.h"
 
 std::ostream * g_z3_log = nullptr;
 bool g_z3_log_enabled   = false;