From dc764ce250f0d63714dab76f98bc556f00afb9f0 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Thu, 25 Mar 2021 18:34:39 +0100
Subject: Add missing includes. (#6207)

This PR adds includes that are missing from source files, but currently provided by other includes.
This mostly concerns <sstream> which is currently included by the statistics, which will change in the future.
---
 src/theory/arith/arith_rewriter.cpp | 1 +
 src/theory/arith/cut_log.cpp        | 1 +
 src/theory/arith/operator_elim.cpp  | 2 ++
 3 files changed, 4 insertions(+)

(limited to 'src/theory/arith')

diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp
index 170e2d0f4..2de8cf66b 100644
--- a/src/theory/arith/arith_rewriter.cpp
+++ b/src/theory/arith/arith_rewriter.cpp
@@ -16,6 +16,7 @@
  **/
 
 #include <set>
+#include <sstream>
 #include <stack>
 #include <vector>
 
diff --git a/src/theory/arith/cut_log.cpp b/src/theory/arith/cut_log.cpp
index 89165b45e..426e10956 100644
--- a/src/theory/arith/cut_log.cpp
+++ b/src/theory/arith/cut_log.cpp
@@ -16,6 +16,7 @@
  **/
 
 #include <cmath>
+#include <iomanip>
 #include <limits.h>
 #include <map>
 #include <math.h>
diff --git a/src/theory/arith/operator_elim.cpp b/src/theory/arith/operator_elim.cpp
index ab01960dd..ee15e0f11 100644
--- a/src/theory/arith/operator_elim.cpp
+++ b/src/theory/arith/operator_elim.cpp
@@ -14,6 +14,8 @@
 
 #include "theory/arith/operator_elim.h"
 
+#include <sstream>
+
 #include "expr/attribute.h"
 #include "expr/bound_var_manager.h"
 #include "expr/skolem_manager.h"
-- 
cgit v1.2.3