From 5d72b11a6abdd6d001be59058ca9db77ebd2e292 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 13 Feb 2020 15:22:20 -0600
Subject: [PATCH] Const input for sygus print callback (#3755)

---
 src/printer/sygus_print_callback.cpp | 2 +-
 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,
-- 
2.30.2