diff options
| author | Aymeric Fromherz | 2024-05-24 12:47:43 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-24 12:47:43 +0200 |
| commit | 50dbeaeb018ab2cb44df3f557f1958eb15351f31 (patch) | |
| tree | 51c73a3b0ddbf790f1f93892c67ccb2fb55d4f58 /backends/lean | |
| parent | e669de58b71fd68642cfacf1a2e3cbd1c5b2f4fe (diff) | |
Rename span into raw_span
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions