rename

hazelgrove · Nov 10, 2024 · 039c3dd · 039c3dd
1 parent 2e46daf
commit 039c3dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/web/view/dec/Child.re b/src/web/view/dec/Child.re
@@ -87,7 +87,7 @@ let view = (~font, p: Profile.t) => {
     |> Option.map(includes_all_but_padding(~side=R, end_loc.col))
     |> Option.value(~default=false);
 
-  let b =
+  let no_body =
     height <= 0
     || Option.is_none(fst(p.no_delim))
     && r_closed_by_delim_after_newline
@@ -99,7 +99,7 @@ let view = (~font, p: Profile.t) => {
     && l_open_and_covers_row
     || height > 0
     && Option.is_none(fst(p.no_delim))
-    && !b
+    && !no_body
       ? []
       : Util.Svgs.Path.[
           m(~x=p.loc.col, ~y=p.loc.row + 1)
@@ -111,7 +111,7 @@ let view = (~font, p: Profile.t) => {
              ),
         ];
   let body_line =
-    b
+    no_body
       ? []
       : Util.Svgs.Path.[
           m(~x=p.ind, ~y=p.loc.row)