diff options
Diffstat (limited to 'src/preprocessing/passes/bv_gauss.cpp')
-rw-r--r-- | src/preprocessing/passes/bv_gauss.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_gauss.cpp b/src/preprocessing/passes/bv_gauss.cpp index 7bd0e7715..6b8b7af2f 100644 --- a/src/preprocessing/passes/bv_gauss.cpp +++ b/src/preprocessing/passes/bv_gauss.cpp @@ -500,8 +500,8 @@ BVGauss::Result BVGauss::gaussElimRewriteForUrem( /* Flatten mult expression. */ n = RewriteRule<FlattenAssocCommut>::run<true>(n); /* Split operands into consts and non-consts */ - NodeBuilder<> nb_consts(NodeManager::currentNM(), k); - NodeBuilder<> nb_nonconsts(NodeManager::currentNM(), k); + NodeBuilder nb_consts(NodeManager::currentNM(), k); + NodeBuilder nb_nonconsts(NodeManager::currentNM(), k); for (const Node& nn : n) { Node nnrw = Rewriter::rewrite(nn); |