diff options
| author | Aymeric Fromherz | 2024-05-31 13:48:44 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-31 13:48:44 +0200 |
| commit | e2afa2a24b290a55451431373152bf5a26c78d24 (patch) | |
| tree | 372914c9dc19e2dfe4c874ccba781d9bd42c5407 /tests/lean/BetreeMain/FunsExternal.lean | |
| parent | 092dae81f5f90281b634e229102d2dff7f5c3fd7 (diff) | |
Fix unused variables warnings
Diffstat (limited to 'tests/lean/BetreeMain/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions