diff --git a/src/smt/theory_arith.h b/src/smt/theory_arith.h
index 5040f1034..944efe6ce 100644
--- a/src/smt/theory_arith.h
+++ b/src/smt/theory_arith.h
@@ -31,6 +31,7 @@ Revision History:
 #include "smt/params/theory_arith_params.h"
 #include "smt/arith_eq_adapter.h"
 #include "smt/proto_model/numeral_factory.h"
+#include "smt/smt_context.h"
 #include "util/obj_pair_hashtable.h"
 #include "smt/old_interval.h"
 #include "math/grobner/grobner.h"