diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-12 23:24:33 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-12 23:24:33 +0100 |
| commit | bcda5b7eb20874f948fbdc23b6daa3ebb792ffe0 (patch) | |
| tree | f2ea02510688f3b8684626673f5ad0572e4c65bd /.gitignore | |
| parent | 11c3fda9ff63c466566e1f1375f5d8ae03833c90 (diff) | |
Remove redundant constraints on arith instances
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions