From ba667dce2462bceb60dd1bcdc4579b00568623f3 Mon Sep 17 00:00:00 2001
From: Tor Erlend Fjelde <tor.erlend95@gmail.com>
Date: Fri, 1 Sep 2023 12:00:44 +0100
Subject: [PATCH] Update src/utils.jl

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
---
 src/utils.jl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/utils.jl b/src/utils.jl
index 951989a45..a1fb12788 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -932,7 +932,6 @@ function varname_and_value_leaves(vn::VarName, x)
     return Iterators.map(value, Iterators.flatten(varname_and_value_leaves_inner(vn, x)))
 end
 
-
 """
     Leaf{T}