diff options
Diffstat (limited to 'src/theory/bv/slicer.h')
| -rw-r--r-- | src/theory/bv/slicer.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h index f3b16e3d7..b0929d617 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -229,7 +229,8 @@ public: class Slicer { __gnu_cxx::hash_map<TermId, TNode> d_idToNode; __gnu_cxx::hash_map<TNode, TermId, TNodeHashFunction> d_nodeToId; - __gnu_cxx::hash_map<TNode, bool, TNodeHashFunction> d_coreTermCache; + __gnu_cxx::hash_map<TNode, bool, TNodeHashFunction> d_coreTermCache; + __gnu_cxx::hash_map<TNode, std::vector<Node>, TNodeHashFunction> d_decompositionCache; UnionFind d_unionFind; ExtractTerm registerTerm(TNode node); public: |