Cleanup some includes (#5847)

[cvc5.git] / src / preprocessing / passes / ite_simp.cpp

diff --git a/src/preprocessing/passes/ite_simp.cpp b/src/preprocessing/passes/ite_simp.cpp
index 746bf33bde1134b27195acd08625fa10c13d1fee..2a1f4c3e6e771a9057fa0f5bef4888a2a16005ee 100644 (file)
--- a/src/preprocessing/passes/ite_simp.cpp
+++ b/src/preprocessing/passes/ite_simp.cpp
@@ -16,6 +16,7 @@
 
 #include <vector>
 
+#include "options/smt_options.h"
 #include "smt/smt_statistics_registry.h"
 #include "smt_util/nary_builder.h"
 #include "theory/arith/arith_ite_utils.h"