diff options
| author | Michael Davis | 2022-11-09 00:54:41 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-11-09 03:41:07 +0000 |
| commit | 260ae3a0f4b94eb0af3477c3e7b94b7a0033431c (patch) | |
| tree | 9823ba64abe796ef79c918a1fa99d038b2fae9af /runtime/queries/lean/locals.scm | |
| parent | a19eee6450764ec2be0e8ad25582f33bd68a5d8c (diff) | |
style: Only call extend_nodes when deepest_preceding is Some
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions