diff options
Diffstat (limited to 'src/preprocessing/passes/ackermann.h')
| -rw-r--r-- | src/preprocessing/passes/ackermann.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/preprocessing/passes/ackermann.h b/src/preprocessing/passes/ackermann.h index cd0d059e4..e28a1ca2d 100644 --- a/src/preprocessing/passes/ackermann.h +++ b/src/preprocessing/passes/ackermann.h @@ -27,9 +27,11 @@ #define CVC4__PREPROCESSING__PASSES__ACKERMANN_H #include <unordered_map> + #include "expr/node.h" #include "preprocessing/preprocessing_pass.h" -#include "preprocessing/preprocessing_pass_context.h" +#include "theory/logic_info.h" +#include "theory/substitutions.h" namespace CVC4 { namespace preprocessing { |