diff options
Diffstat (limited to 'src/expr/expr_manager.h')
| -rw-r--r-- | src/expr/expr_manager.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h index d311445f3..542d1040d 100644 --- a/src/expr/expr_manager.h +++ b/src/expr/expr_manager.h @@ -39,11 +39,11 @@ public: // general expression-builders Expr mkExpr(Kind kind); - Expr mkExpr(Kind kind, Expr child1); - Expr mkExpr(Kind kind, Expr child1, Expr child2); - Expr mkExpr(Kind kind, Expr child1, Expr child2, Expr child3); - Expr mkExpr(Kind kind, Expr child1, Expr child2, Expr child3, Expr child4); - Expr mkExpr(Kind kind, Expr child1, Expr child2, Expr child3, Expr child4, Expr child5); + Expr mkExpr(Kind kind, const Expr& child1); + Expr mkExpr(Kind kind, const Expr& child1, const Expr& child2); + Expr mkExpr(Kind kind, const Expr& child1, const Expr& child2, const Expr& child3); + Expr mkExpr(Kind kind, const Expr& child1, const Expr& child2, const Expr& child3, const Expr& child4); + Expr mkExpr(Kind kind, const Expr& child1, const Expr& child2, const Expr& child3, const Expr& child4, const Expr& child5); // N-ary version Expr mkExpr(Kind kind, std::vector<Expr> children); |