From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Wed, 30 Sep 2020 17:26:21 +0000 (+0200)
Subject: Add missing includes. (#5170)
X-Git-Tag: cvc5-1.0.0~2781
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ac936654df0f214e308a48116dcf6190d6255e2;p=cvc5.git

Add missing includes. (#5170)

The strategy class added in #5160 was missing the proper includes for std::ostream. For some reason it works for most configurations, but triggers compilation errors in certain cases.
---

diff --git a/src/theory/arith/nl/strategy.cpp b/src/theory/arith/nl/strategy.cpp
index c209a1715..627500d68 100644
--- a/src/theory/arith/nl/strategy.cpp
+++ b/src/theory/arith/nl/strategy.cpp
@@ -14,6 +14,8 @@
 
 #include "theory/arith/nl/strategy.h"
 
+#include <iostream>
+
 #include "base/check.h"
 #include "options/arith_options.h"
 
diff --git a/src/theory/arith/nl/strategy.h b/src/theory/arith/nl/strategy.h
index d7604f501..ad96d9442 100644
--- a/src/theory/arith/nl/strategy.h
+++ b/src/theory/arith/nl/strategy.h
@@ -15,6 +15,7 @@
 #ifndef CVC4__THEORY__ARITH__NL__STRATEGY_H
 #define CVC4__THEORY__ARITH__NL__STRATEGY_H
 
+#include <iosfwd>
 #include <map>
 #include <vector>