Zander/4-variable-simplifier
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

.

Browse source
This commit is contained in:
Zander Thannhauser 2025-06-22 12:47:38 -05:00
parent 90068e62fa
commit 6b8ff52061
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
main.c
View file

@ -581,7 +581,7 @@ void boolset_discard(struct boolset* this, uint16_t e)
assert(this->data[0][e]);
for (int k = 0; k < B && !--this-> data[k][e >> k]; k++);
for (int k = 0; k < B && !--this->data[k][e >> k]; k++);
#if ZDEBUG
calldepth--;