diff options
Diffstat (limited to 'src/preprocessing/passes/ite_simp.h')
-rw-r--r-- | src/preprocessing/passes/ite_simp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/ite_simp.h b/src/preprocessing/passes/ite_simp.h index fe1dfa6e0..603e7889e 100644 --- a/src/preprocessing/passes/ite_simp.h +++ b/src/preprocessing/passes/ite_simp.h @@ -18,7 +18,7 @@ #define CVC4__PREPROCESSING__PASSES__ITE_SIMP_H #include "preprocessing/preprocessing_pass.h" -#include "preprocessing/preprocessing_pass_context.h" +#include "preprocessing/util/ite_utilities.h" namespace CVC4 { namespace preprocessing { |