From 58cc9281b51ecf9a27d278837b7d9e8c933e821e Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Wed, 11 Dec 2024 00:44:50 +0100
Subject: [PATCH] Update update_mathlib.sh

---
 scripts/update_mathlib.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
index f24c177..8413d35 100644
--- a/scripts/update_mathlib.sh
+++ b/scripts/update_mathlib.sh
@@ -6,6 +6,3 @@ curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/l
 # Update the Mathlib dependencies and ensure doc-gen is also updated
 # The `-Kenv=dev` flag ensures that the development environment is updated, including doc-gen
 lake -Kenv=dev update
-
-# Retrieve and cache the latest Mathlib dependencies
-lake exe cache get
\ No newline at end of file