remove brackets around one part in delN2Left, making it more consistent with other part

This commit is contained in:
2024-03-13 06:37:59 +00:00
parent 84d6dacdeb
commit 7bd4fad8e8

View File

@@ -102,7 +102,7 @@ struct
val left = N2 (t1, size t1, t2)
val inner = N2 (left, size left, t3)
in
N1 (inner)
N1 inner
end
| (N1 (N1 t1), N2 (N2 (t2, _, t3), _, N1 t4)) =>
let