projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71f54fc) | patch
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)
commit5ac936654df0f214e308a48116dcf6190d6255e2
tree15dec56761f59434a3546664e2d1c08d97457bd5tree
parent71f54fc41ee068707de387c2a6379b8996aaf744commit | diff
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.
src/theory/arith/nl/strategy.cpp diff | blob | history
src/theory/arith/nl/strategy.h diff | blob | history