diff options
| author | Son Ho | 2023-09-17 01:20:17 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-17 01:20:17 +0200 |
| commit | 9bfbfcc5aa3a05aafa2b7b5014256b30a878f0a2 (patch) | |
| tree | 93d9e443adc6b3a97dcb42522d7106fb891daae7 /backends/lean | |
| parent | d69871473f49cb465c638609ce03b0e9013b73e3 (diff) | |
Fix some issues with calls to trait methods
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions