X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Fprop%2Ftheory_proxy.cpp;h=06e7297141b4f30ee0aeba54aa6e627bd6a73f96;hb=e05ad4759f2ae01cc06a9ca715c777d188f0f5fd;hp=a6d570bc228516fb5bad20beebda46e43d4eb9d1;hpb=4c1f67446ad59f1c5efe7230b96b0d3ccac0e692;p=cvc5.git

diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp
index a6d570bc2..06e729714 100644
--- 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"