mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-17 16:52:15 +00:00
Code Activity

use assignment

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-01-18 11:14:22 -08:00
parent 414c33f92d
commit 69f118e77f
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/smt/fingerprints.h
View file

@ -25,11 +25,11 @@ namespace smt {
class fingerprint { class fingerprint {
protected: protected:
void* m_data{ nullptr }; void* m_data = nullptr;
unsigned m_data_hash{ 0 }; unsigned m_data_hash = 0;
expr* m_def{ nullptr }; expr* m_def = nullptr;
unsigned m_num_args{ 0 }; unsigned m_num_args = 0;
enode** m_args{ nullptr }; enode** m_args = nullptr;
friend class fingerprint_set; friend class fingerprint_set;
fingerprint() {} fingerprint() {}