From 039c3dd762e1ceb3042e1089af0397454867b82c Mon Sep 17 00:00:00 2001
From: David Moon <dmoon1221@gmail.com>
Date: Sun, 10 Nov 2024 11:23:17 -0500
Subject: [PATCH] rename

---
 src/web/view/dec/Child.re | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/web/view/dec/Child.re b/src/web/view/dec/Child.re
index 9c9586d1..baeacaaf 100644
--- 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)