diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index cc2a13aed..4b3b85399 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -19,7 +19,7 @@ Revision History:
 --*/
 #include<typeinfo>
 #include "api/api_context.h"
-#include "util/version.h"
+#include "util/z3_version.h"
 #include "ast/ast_pp.h"
 #include "ast/ast_ll_pp.h"
 #include "api/api_log_macros.h"