Const input for sygus print callback (#3755)

diff --git a/src/printer/sygus_print_callback.cpp b/src/printer/sygus_print_callback.cpp
index 2b6d5fc1eec618d4639c8eb1a011400d7dd2b99b..ae1d97c64c21f3313be6d69d59d00521b7af59d9 100644 (file)
--- 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 d10a312bd61230c2d2caac18bf58771a42ada403..a53fbc85f4a5fdd58b60acfb4585065532146cb3 100644 (file)
--- 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,