From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 28 Aug 2018 02:48:48 +0000 (-0500)
Subject: Fix warning in sygus io. (#2391)
X-Git-Tag: cvc5-1.0.0~4710
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=240c3b41f7f1b907e006a12465037278df05ade1;p=cvc5.git

Fix warning in sygus io. (#2391)
---

diff --git a/src/theory/quantifiers/sygus/sygus_unif_io.cpp b/src/theory/quantifiers/sygus/sygus_unif_io.cpp
index d36566d63..eca88cab8 100644
--- a/src/theory/quantifiers/sygus/sygus_unif_io.cpp
+++ b/src/theory/quantifiers/sygus/sygus_unif_io.cpp
@@ -1178,7 +1178,7 @@ Node SygusUnifIo::constructSol(
       // for ITE
       Node split_cond_enum;
       unsigned split_cond_res_index = 0;
-      bool set_split_cond_res_index = false;
+      CVC4_UNUSED bool set_split_cond_res_index = false;
 
       for (unsigned sc = 0, size = etis->d_cenum.size(); sc < size; sc++)
       {