diff options
Diffstat (limited to 'src/smt/expand_definitions.cpp')
-rw-r--r-- | src/smt/expand_definitions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp index 85a2732c9..59597b97f 100644 --- a/src/smt/expand_definitions.cpp +++ b/src/smt/expand_definitions.cpp @@ -294,7 +294,7 @@ TrustNode ExpandDefs::expandDefinitions( if (node.getNumChildren() > 0) { // cout << "cons : " << node << std::endl; - NodeBuilder<> nb(node.getKind()); + NodeBuilder nb(node.getKind()); if (node.getMetaKind() == metakind::PARAMETERIZED) { Debug("expand") << "op : " << node.getOperator() << std::endl; |