diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-29 15:49:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-29 13:49:20 +0000 |
| commit | 3a1b36b7471cb3c9e26f3f4cbdb34ca42ba42d80 (patch) | |
| tree | 4e774bb1c168f87d23fe3b8b790f9c534860c9ea /src/smt/managed_ostreams.cpp | |
| parent | 8431e9d49b71774092ca29c85855cbdf5bf09c53 (diff) | |
Add missing include. (#6463)
This PR fixes an issue with one of our nightlies.
Diffstat (limited to 'src/smt/managed_ostreams.cpp')
| -rw-r--r-- | src/smt/managed_ostreams.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/managed_ostreams.cpp b/src/smt/managed_ostreams.cpp index b2f02b34d..ee356e413 100644 --- 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" |