projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 71f54fc)
Add missing includes. (#5170)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 30 Sep 2020 17:26:21 +0000 (19:26 +0200)
committerGitHub <noreply@github.com>
Wed, 30 Sep 2020 17:26:21 +0000 (12:26 -0500)
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.

src/theory/arith/nl/strategy.cpp patch | blob | history
src/theory/arith/nl/strategy.h patch | blob | history

diff --git a/src/theory/arith/nl/strategy.cpp b/src/theory/arith/nl/strategy.cpp
index c209a17157aae6381ad185933f5577b294ac095c..627500d6812f8104fcc0c0d0ff9789a951935d0e 100644 (file)
--- 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 d7604f501a182cfe8ef62e22672ce732a1dcfa7e..ad96d94420dbf2e2abd27a192489ef61e69e0e67 100644 (file)
--- 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>