From 240c3b41f7f1b907e006a12465037278df05ade1 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 27 Aug 2018 21:48:48 -0500 Subject: [PATCH] Fix warning in sygus io. (#2391) --- src/theory/quantifiers/sygus/sygus_unif_io.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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++) { -- 2.30.2