diff options
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 * |