projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8431e9d)
Add missing include. (#6463)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 29 Apr 2021 13:49:20 +0000 (15:49 +0200)
committerGitHub <noreply@github.com>
Thu, 29 Apr 2021 13:49:20 +0000 (13:49 +0000)
This PR fixes an issue with one of our nightlies.

src/smt/managed_ostreams.cpp patch | blob | history

diff --git a/src/smt/managed_ostreams.cpp b/src/smt/managed_ostreams.cpp
index b2f02b34d0d9fada82187b139af68df72b79fc61..ee356e4136374db90e926d5ad1f83f27983d9e80 100644 (file)
--- a/src/smt/managed_ostreams.cpp
+++ b/src/smt/managed_ostreams.cpp
@@ -22,6 +22,7 @@
 
 #include "base/check.h"
 #include "options/open_ostream.h"
+#include "options/option_exception.h"
 #include "options/smt_options.h"
 #include "smt/update_ostream.h"