diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-12-17 16:16:16 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-17 16:16:16 -0800 |
| commit | f6f26013ce73db50502dc5452c08e304ab2e3ac3 (patch) | |
| tree | c73c3714b507720536e756bd53ba187c705fe67c /src | |
| parent | 6660ab05c399d309208251263faeff3be2964f7b (diff) | |
Remove noop. (#2763)
Diffstat (limited to 'src')
| -rw-r--r-- | src/expr/type_node.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index fd65f96b9..b54290612 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -20,7 +20,6 @@ #include "expr/node_manager_attributes.h" #include "expr/type_properties.h" #include "options/base_options.h" -#include "options/bv_options.h" #include "options/expr_options.h" #include "options/quantifiers_options.h" #include "options/uf_options.h" @@ -223,7 +222,6 @@ bool TypeNode::isClosedEnumerable() } bool TypeNode::isFirstClass() const { - (void)options::bitblastMode(); return ( getKind() != kind::FUNCTION_TYPE || options::ufHo() ) && getKind() != kind::CONSTRUCTOR_TYPE && getKind() != kind::SELECTOR_TYPE && |