diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-12-01 23:50:45 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-01 23:50:45 -0800 |
commit | 41b5707b9aef9cae3e96f2cce48fe83e49fc4a32 (patch) | |
tree | 04ab0b1845bb2d78bf2fb642e5feff35e8bb259b /src/smt_util | |
parent | b5ca3b62dd532f119355210b870b7f25a04a4500 (diff) | |
parent | 901cea314c4dc3be411c345e42c858063fe5aa1b (diff) |
Merge branch 'master' into fix_cdlistfix_cdlist
Diffstat (limited to 'src/smt_util')
-rw-r--r-- | src/smt_util/boolean_simplification.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt_util/boolean_simplification.h b/src/smt_util/boolean_simplification.h index 78d7f8c38..d2fbeb413 100644 --- a/src/smt_util/boolean_simplification.h +++ b/src/smt_util/boolean_simplification.h @@ -23,7 +23,6 @@ #include <algorithm> #include "base/check.h" -#include "expr/expr_manager_scope.h" #include "expr/node.h" namespace CVC4 { |