diff options
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index c70fed889..f88914fd2 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -114,9 +114,9 @@ namespace expr { static Node exportConstant(TNode n, NodeManager* to); Node exportInternal(TNode n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap) { - if(n.getMetaKind() == kind::metakind::CONSTANT) { + if(n.isConst()) { return exportConstant(n, NodeManager::fromExprManager(to)); - } else if(n.getMetaKind() == kind::metakind::VARIABLE) { + } else if(n.isVar()) { Expr from_e(from, new Node(n)); Expr& to_e = vmap.d_typeMap[from_e]; if(! to_e.isNull()) { @@ -522,7 +522,7 @@ ${getConst_implementations} namespace expr { static Node exportConstant(TNode n, NodeManager* to) { - Assert(n.getMetaKind() == kind::metakind::CONSTANT); + Assert(n.isConst()); switch(n.getKind()) { ${exportConstant_cases} |