From 78087483ca065c6518b3b09e2b945c9041862624 Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de>
Date: Sat, 19 May 2018 04:25:43 +0200
Subject: [PATCH] Add missing include The code should not have compiled
 previously, as smt::context was only forward declared at this point.

---
 src/smt/theory_arith.h | 1 +
 1 file changed, 1 insertion(+)

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"