diff options
| author | Son Ho | 2024-05-28 18:48:56 +0200 |
|---|---|---|
| committer | Son Ho | 2024-05-28 18:48:56 +0200 |
| commit | b5eac0384818e1f51fbfd900ab580514e851b0ca (patch) | |
| tree | 7fc94f32e32674892154e7e72c2d589470c17f9a /backends/lean/Base/Extensions.lean | |
| parent | ae075db15638ee8878bebe3d31affb1aa320e90f (diff) | |
Fix an issue with some names being ignored when generating unique variable names
Diffstat (limited to 'backends/lean/Base/Extensions.lean')
0 files changed, 0 insertions, 0 deletions