diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:09:11 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:09:11 +0000 |
| commit | e6383effa630863bcc73abc1df985b1dad55db39 (patch) | |
| tree | cdc42f8a0290c15cc87f0265ce2fb4664ab4fb14 /src/theory/bv/cd_set_collection.h | |
| parent | e5206966df456dbb9cad97809d6e10f2bca13b2e (diff) | |
updates for bitvectors
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) |