diff options
| author | lianah <lianahady@gmail.com> | 2013-03-21 15:43:58 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-03-21 15:43:58 -0400 |
| commit | b791a54377d468946a3aec7e740f4eb33c640372 (patch) | |
| tree | 24a9b5738b434de3b91ebf95c93315ff06a0ec8e /src/theory/bv/bv_subtheory.h | |
| parent | 27a29561a94589987b9777d1554cfdc25a8c2479 (diff) | |
incorporated dejan's constant evaluation; now getting destruction seg fault
Diffstat (limited to 'src/theory/bv/bv_subtheory.h')
| -rw-r--r-- | src/theory/bv/bv_subtheory.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h index 73050ea73..c442fa6dd 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -61,7 +61,7 @@ const bool d_useSatPropagation = true; // forward declaration class TheoryBV; -typedef context::CDQueue<TNode> AssertionQueue; +typedef context::CDQueue<Node> AssertionQueue; /** * Abstract base class for bit-vector subtheory solvers * |