diff options
Diffstat (limited to 'src/theory/bv/cd_set_collection.h')
-rw-r--r-- | src/theory/bv/cd_set_collection.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/cd_set_collection.h b/src/theory/bv/cd_set_collection.h index 217ebadcd..30e4e47ec 100644 --- a/src/theory/bv/cd_set_collection.h +++ b/src/theory/bv/cd_set_collection.h @@ -252,7 +252,7 @@ public: backtrack(); Assert(isValid(set)); - const_value_reference candidate_value; + const_value_reference candidate_value = value_type(); bool candidate_found = false; // Find the biggest node smaleer than value (it must exist) @@ -279,7 +279,7 @@ public: backtrack(); Assert(isValid(set)); - const_value_reference candidate_value; + const_value_reference candidate_value = value_type(); bool candidate_found = false; // Find the smallest node bigger than value (it must exist) |