From 92302b869756b96e8a6125e691fe8138ee76a750 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>
Date: Fri, 18 Oct 2024 22:07:34 -0400
Subject: [PATCH] chore: add more stuff to section

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index aefdde9..aad409b 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -37,7 +37,6 @@ def buildTextFileUnlessUpToDate
     build
     clearFileHash file
   fetchTextFileTrace file
-end
 
 /-- Like `buildFileAfterDep` but interprets `file` as a text file
 so that line ending differences across platform do not impact the hash. -/
@@ -49,6 +48,7 @@ so that line ending differences across platform do not impact the hash. -/
     let depTrace := depTrace.mix (← extraDepTrace)
     let trace ← buildTextFileUnlessUpToDate file depTrace <| build depInfo
     return (file, trace)
+end
 
 /-- Target to update `package-lock.json` whenever `package.json` has changed. -/
 target widgetPackageLock : FilePath := do