avoid overwriting proofsEnabled
through default parameter#1827
Merged
mitschabaude merged 2 commits intomainfrom fix-proofs-enabledSep 18, 2024
+6-2
Commits
Commits on Sep 18, 2024
- committed
- committed
proofsEnabled
through default parameter#1827