diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-07-22 20:02:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-22 20:02:44 -0700 |
| commit | 7785045ede376f7ee5a540ded9afdd7d3f57c47d (patch) | |
| tree | 7e3a900e96330a07b65bc2ce71409dbb4289ee85 /src/theory/arith | |
| parent | 4cab39bd4f166716cd3d357a175c346afb838137 (diff) | |
Deprecating the unused convenience_node_builders.h (#203)
Diffstat (limited to 'src/theory/arith')
| -rw-r--r-- | src/theory/arith/arith_static_learner.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/arith/arith_static_learner.cpp b/src/theory/arith/arith_static_learner.cpp index bd13bd874..478f0f94c 100644 --- a/src/theory/arith/arith_static_learner.cpp +++ b/src/theory/arith/arith_static_learner.cpp @@ -18,7 +18,6 @@ #include <vector> #include "base/output.h" -#include "expr/convenience_node_builders.h" #include "expr/expr.h" #include "options/arith_options.h" #include "smt/smt_statistics_registry.h" |