pyrite-dev/sj4
12
2
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

formatting change

Browse source
This commit is contained in:
Nishi 2026-09-23 20:18:46 +09:00
commit 2f1cc2607e
48 changed files with 217 additions and 479 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/sj4core/mk2claus.c
View file

@ -131,9 +131,7 @@ void mk2claus(SJ4_CONTEXT2) {
;
else if(prty <= maxprty)
continue;
}
else if(prty <= maxprty)
} else if(prty <= maxprty)
continue;
}