diff options
author | yoni206 <yoni206@gmail.com> | 2019-06-12 00:07:53 -0700 |
---|---|---|
committer | yoni206 <yoni206@gmail.com> | 2019-06-17 13:16:22 -0700 |
commit | 41639dee25fb5e03d8f48021637b5b38e9a30285 (patch) | |
tree | 764c70fdd406bb1dc65009ce5492f879b806dc64 | |
parent | b76e88c303e08711cb1b88d46e7350c840912fb3 (diff) |
remove include
-rw-r--r-- | src/smt/model_blocker.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/model_blocker.h b/src/smt/model_blocker.h index a037e9446..1e728b220 100644 --- a/src/smt/model_blocker.h +++ b/src/smt/model_blocker.h @@ -22,7 +22,6 @@ #include "expr/expr.h" #include "options/smt_options.h" #include "theory/theory_model.h" -#include "context/cdlist_forward.h" namespace CVC4 { |