diff options
| author | Pierre-Marie Pédrot | 2021-01-20 18:37:45 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-20 22:22:28 +0100 |
| commit | 73b3be7a2a4a0fd10d08aa0ca1e16050dc609943 (patch) | |
| tree | 55db4145797f68a6bb98123ea6a3c8e39942a918 /dev | |
| parent | 07fed7d769bb6e78384c9f5312bd8a73bbb582ed (diff) | |
Factorize the call of nf_beta in red_elim_const.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions