From f9d3c4a080512dd8b48a8a435823cb236dcfcd77 Mon Sep 17 00:00:00 2001 From: humzashahid Date: Thu, 15 Feb 2024 19:49:01 +0000 Subject: [PATCH] amend formatting --- rope.sml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/rope.sml b/rope.sml index 095e953..09db259 100644 --- a/rope.sml +++ b/rope.sml @@ -86,16 +86,16 @@ structure Rope :> ROPE = struct fun ins_n1 rope = case rope of - L2 (s1, s2) => - N2(N0 s1, String.size s1, N0 s2) - | N3(t1, t2, t3) => - let - val left = N2(t1, size t1, t2) - in - N2(left, size left, N1 t3) - end - | t => - N1 t + L2 (s1, s2) => + N2(N0 s1, String.size s1, N0 s2) + | N3(t1, t2, t3) => + let + val left = N2(t1, size t1, t2) + in + N2(left, size left, N1 t3) + end + | t => + N1 t fun ins_n2_left (left, right) = case (left, right) of