diff options
| author | Pierre-Marie Pédrot | 2021-03-06 18:34:31 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-03-06 18:48:09 +0100 |
| commit | 8206965a009082abd4c19dc002effd0ddeb32a1c (patch) | |
| tree | 716d299ff20e30f65418bd293c6bd9720aa3fe17 /shell.nix | |
| parent | 0d20fdbd82da5c4008a2d49bbf7aad92ada25227 (diff) | |
Inline the refold and tactic_mode flags for the cbn tactic.
They were unconditionally set to true, leading to a lot of dead branches.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions