diff options
| author | Nadrieril | 2024-04-10 16:46:24 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-10 16:58:44 +0200 |
| commit | 143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (patch) | |
| tree | f7380e47918ad4aaf970cfb58e444ed214dbd81f /backends/hol4 | |
| parent | dabbffde83e640aabc634d0a8917108decf9a5e7 (diff) | |
Trust rustc regarding `Copy` bounds
Diffstat (limited to 'backends/hol4')
0 files changed, 0 insertions, 0 deletions