diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-27 21:48:48 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-27 21:48:48 -0500 |
commit | 240c3b41f7f1b907e006a12465037278df05ade1 (patch) | |
tree | 40634c08b07967ebf00dbd38302596a04cbb94ba /src/theory | |
parent | 54a5a142a8522ad2edb26ec934729edfb97ead7f (diff) |
Fix warning in sygus io. (#2391)
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_unif_io.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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++) { |