diff options
Diffstat (limited to 'src/theory/bv/bitblast_strategies.cpp')
-rw-r--r-- | src/theory/bv/bitblast_strategies.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bitblast_strategies.cpp b/src/theory/bv/bitblast_strategies.cpp index 6871a5421..c063245a5 100644 --- a/src/theory/bv/bitblast_strategies.cpp +++ b/src/theory/bv/bitblast_strategies.cpp @@ -39,7 +39,7 @@ Bits* rewriteBits(const Bits& bits) { return newbits; } -Node rewrite(Node node) { +Node rewrite(TNode node) { return Rewriter::rewrite(node); } |