Cleanup some includes (#5847)

[cvc5.git] / src / prop / theory_proxy.cpp

diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp
index a6d570bc228516fb5bad20beebda46e43d4eb9d1..06e7297141b4f30ee0aeba54aa6e627bd6a73f96 100644 (file)
--- a/src/prop/theory_proxy.cpp
+++ b/src/prop/theory_proxy.cpp
@@ -19,6 +19,7 @@
 #include "context/context.h"
 #include "decision/decision_engine.h"
 #include "options/decision_options.h"
+#include "options/smt_options.h"
 #include "proof/cnf_proof.h"
 #include "prop/cnf_stream.h"
 #include "prop/prop_engine.h"