diff options
Diffstat (limited to 'test/unit/preprocessing/pass_bv_gauss_white.cpp')
| -rw-r--r-- | test/unit/preprocessing/pass_bv_gauss_white.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/preprocessing/pass_bv_gauss_white.cpp b/test/unit/preprocessing/pass_bv_gauss_white.cpp index 1a3412186..5e2e80e4a 100644 --- a/test/unit/preprocessing/pass_bv_gauss_white.cpp +++ b/test/unit/preprocessing/pass_bv_gauss_white.cpp @@ -20,6 +20,7 @@ #include "context/context.h" #include "expr/node.h" #include "expr/node_manager.h" +#include "preprocessing/assertion_pipeline.h" #include "preprocessing/passes/bv_gauss.h" #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" |