diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2015-08-20 17:21:50 +0100 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2015-08-20 18:22:46 +0100 |
| commit | 60f6d09d7ad9e37f5a23e6a2b0e47a7b0e47df81 (patch) | |
| tree | bff6b44578e2cbf9c01ab317308a653679302b25 /src/theory/bv/theory_bv_utils.h | |
| parent | 92584a9a74b941bfd1cbcfbcec21a57bda4c4952 (diff) | |
fix to bug659 due to algebraic solver model building
Diffstat (limited to 'src/theory/bv/theory_bv_utils.h')
| -rw-r--r-- | src/theory/bv/theory_bv_utils.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/bv/theory_bv_utils.h b/src/theory/bv/theory_bv_utils.h index a8b6887e5..ba8074fbb 100644 --- a/src/theory/bv/theory_bv_utils.h +++ b/src/theory/bv/theory_bv_utils.h @@ -513,6 +513,8 @@ typedef __gnu_cxx::hash_set<Node, NodeHashFunction> NodeSet; uint64_t numNodes(TNode node, NodeSet& seen); +void collectVariables(TNode node, NodeSet& vars); + } } } |