From 50d1542f830b7ceb73efd34573b6b56b4971a114 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 9 May 2023 10:40:19 +0200
Subject: Regenerate the translated files for Lean

---
 tests/lean/betree/lean-toolchain | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 tests/lean/betree/lean-toolchain

(limited to 'tests/lean/betree/lean-toolchain')

diff --git a/tests/lean/betree/lean-toolchain b/tests/lean/betree/lean-toolchain
deleted file mode 100644
index bbf57f10..00000000
--- a/tests/lean/betree/lean-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-leanprover/lean4:nightly-2023-01-21
-- 
cgit v1.2.3