From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 13 Feb 2020 21:22:20 +0000 (-0600)
Subject: Const input for sygus print callback (#3755)
X-Git-Tag: cvc5-1.0.0~3650
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d72b11a6abdd6d001be59058ca9db77ebd2e292;p=cvc5.git

Const input for sygus print callback (#3755)
---

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,