diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-13 15:22:20 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-13 15:22:20 -0600 |
commit | 5d72b11a6abdd6d001be59058ca9db77ebd2e292 (patch) | |
tree | 72fe8b8349d11593b4cf580e339482ba4b06b9f1 | |
parent | bfa008a7ce13eff2f59b022e8c2d5d71d77f9ecb (diff) |
Const input for sygus print callback (#3755)
-rw-r--r-- | src/printer/sygus_print_callback.cpp | 2 | ||||
-rw-r--r-- | src/printer/sygus_print_callback.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/sygus_print_callback.cpp b/src/printer/sygus_print_callback.cpp index 2b6d5fc1e..ae1d97c64 100644 --- a/src/printer/sygus_print_callback.cpp +++ b/src/printer/sygus_print_callback.cpp @@ -24,7 +24,7 @@ namespace CVC4 { namespace printer { SygusExprPrintCallback::SygusExprPrintCallback(Expr body, - std::vector<Expr>& args) + const std::vector<Expr>& args) : d_body(body), d_body_argument(-1) { d_args.insert(d_args.end(), args.begin(), args.end()); diff --git a/src/printer/sygus_print_callback.h b/src/printer/sygus_print_callback.h index d10a312bd..a53fbc85f 100644 --- a/src/printer/sygus_print_callback.h +++ b/src/printer/sygus_print_callback.h @@ -45,7 +45,7 @@ namespace printer { class CVC4_PUBLIC SygusExprPrintCallback : public SygusPrintCallback { public: - SygusExprPrintCallback(Expr body, std::vector<Expr>& args); + SygusExprPrintCallback(Expr body, const std::vector<Expr>& args); ~SygusExprPrintCallback() {} /** print sygus term e on output out using printer p */ virtual void toStreamSygus(const Printer* p, |