From 3a1b36b7471cb3c9e26f3f4cbdb34ca42ba42d80 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 29 Apr 2021 15:49:20 +0200 Subject: [PATCH] Add missing include. (#6463) This PR fixes an issue with one of our nightlies. --- src/smt/managed_ostreams.cpp | 1 + 1 file changed, 1 insertion(+) 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" -- 2.30.2