diff --git a/src/sat/ba_solver.cpp b/src/sat/ba_solver.cpp
index e7365ce8a..653e578a3 100644
--- a/src/sat/ba_solver.cpp
+++ b/src/sat/ba_solver.cpp
@@ -19,6 +19,7 @@ Revision History:
 
 #include "sat/ba_solver.h"
 #include "sat/sat_types.h"
+#include "util/mpz.h"
 
 
 namespace sat {