diff options
Diffstat (limited to 'src/preprocessing/passes/symmetry_detect.cpp')
-rw-r--r-- | src/preprocessing/passes/symmetry_detect.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/preprocessing/passes/symmetry_detect.cpp b/src/preprocessing/passes/symmetry_detect.cpp index 24db144e4..ec784a6ba 100644 --- a/src/preprocessing/passes/symmetry_detect.cpp +++ b/src/preprocessing/passes/symmetry_detect.cpp @@ -13,6 +13,7 @@ **/ #include "preprocessing/passes/symmetry_detect.h" + #include "expr/node_algorithm.h" #include "theory/quantifiers/alpha_equivalence.h" #include "theory/quantifiers/term_util.h" |