From 1dcb07bb2a8a513c6abe52b007c1f5cd6aaeff6f Mon Sep 17 00:00:00 2001
From: Charles Schlosser <cs.schlosser@gmail.com>
Date: Thu, 1 Aug 2024 02:51:04 +0000
Subject: [PATCH] Update file eigen_navtree_hacks.js

---
 doc/eigen_navtree_hacks.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js
index f36b332ec..605fb5f10 100644
--- a/doc/eigen_navtree_hacks.js
+++ b/doc/eigen_navtree_hacks.js
@@ -360,8 +360,8 @@ $(document).ready(function() {
   
   (function (){ // wait until the first "selected" element has been created
     try {
-      
-      // this line will triger an exception if there is no #selected element, i.e., before the tree structure is complete.
+      // this line will triger an exception if there is no #selected element, i.e., before the tree structure is
+      // complete.
       document.getElementById("selected").className = "item selected";
       
       // ok, the default tree has been created, we can keep going...