diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index d72b303a6..62b4dc121 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -170,10 +170,9 @@ class DefinedFunction { Node d_formula; public: DefinedFunction() {} - DefinedFunction(Node func, vector<Node> formals, Node formula) : - d_func(func), - d_formals(formals), - d_formula(formula) { + DefinedFunction(Node func, vector<Node>& formals, Node formula) + : d_func(func), d_formals(formals), d_formula(formula) + { } Node getFunction() const { return d_func; } vector<Node> getFormals() const { return d_formals; } |