Cleanup some includes (#5847)

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

diff --git a/src/preprocessing/passes/non_clausal_simp.cpp b/src/preprocessing/passes/non_clausal_simp.cpp
index 65682229952ccc83bf35cb63af5b04436abd1962..6db70156575f63ef92e170aec34523521ba0e650 100644 (file)
--- a/src/preprocessing/passes/non_clausal_simp.cpp
+++ b/src/preprocessing/passes/non_clausal_simp.cpp
@@ -19,6 +19,7 @@
 #include <vector>
 
 #include "context/cdo.h"
+#include "options/smt_options.h"
 #include "smt/smt_statistics_registry.h"
 #include "theory/theory_model.h"
 #include "theory/trust_substitutions.h"