mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-13 12:33:42 +02:00
Merge f13e03cda2 into merged_master (Bitcoin PR #20584)
This commit is contained in:
commit
e5cb4cb00e
19 changed files with 29 additions and 29 deletions
|
|
@ -319,8 +319,8 @@ private:
|
|||
uint32_t m_first_false_pos = NO_FALSE;
|
||||
|
||||
public:
|
||||
bool empty() { return m_stack_size == 0; }
|
||||
bool all_true() { return m_first_false_pos == NO_FALSE; }
|
||||
bool empty() const { return m_stack_size == 0; }
|
||||
bool all_true() const { return m_first_false_pos == NO_FALSE; }
|
||||
void push_back(bool f)
|
||||
{
|
||||
if (m_first_false_pos == NO_FALSE && !f) {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue