mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

fix a gcc 10 warning

Browse source
This commit is contained in:
Nuno Lopes 2020-05-19 14:44:14 +01:00
parent 0f8f886389
commit 232f1b5fbe
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/util/fixed_bit_vector.h
View file

@ -44,11 +44,6 @@ class fixed_bit_vector {
} }
public: public:
fixed_bit_vector() {}
~fixed_bit_vector() {}
unsigned get_word(unsigned word_idx) const { return m_data[word_idx]; } unsigned get_word(unsigned word_idx) const { return m_data[word_idx]; }
bool operator[](unsigned bit_idx) const { bool operator[](unsigned bit_idx) const {