fixed filenames

This commit is contained in:
Anton-4 2023-12-27 15:58:03 +01:00
parent 99085b784c
commit 3210e87815
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
17 changed files with 35 additions and 42 deletions

View file

@ -248,4 +248,4 @@ del = \t, k ->
rebalanceLeft cx lx ky vy ry
Delmin (Del ry Bool.false) ky vy ->
Del (Node cx lx ky vy ry) Bool.false
Del (Node cx lx ky vy ry) Bool.false