From daae36d44df2799df9169c9dca3170acfdfedd0e Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 15 Jul 2023 12:47:43 +0200
Subject: [PATCH] chore: remove obsolete file

---
 src/lake/lean-toolchain | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/lake/lean-toolchain

diff --git a/src/lake/lean-toolchain b/src/lake/lean-toolchain
deleted file mode 100644
index 3c5b967d23..0000000000
--- a/src/lake/lean-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-leanprover/lean4:nightly-2023-06-29