From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Thu, 29 Apr 2021 13:49:20 +0000 (+0200)
Subject: Add missing include. (#6463)
X-Git-Tag: cvc5-1.0.0~1812
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3a1b36b7471cb3c9e26f3f4cbdb34ca42ba42d80;p=cvc5.git

Add missing include. (#6463)

This PR fixes an issue with one of our nightlies.
---

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"