diff options
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 74bfd3f2b..b7000fea6 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -188,11 +188,11 @@ size_t Expr::getNumChildren() const { return d_node->getNumChildren(); } -Expr Expr::getChild(unsigned int i) const { +Expr Expr::operator[](unsigned i) const { ExprManagerScope ems(*this); Assert(d_node != NULL, "Unexpected NULL expression pointer!"); Assert(i >= 0 && i < d_node->getNumChildren(), "Child index out of bounds"); - return Expr(d_exprManager,new Node((*d_node)[i])); + return Expr(d_exprManager, new Node((*d_node)[i])); } bool Expr::hasOperator() const { |