From 96d2ccbe330472f04749ae707251856775dddee5 Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Wed, 24 May 2023 21:28:29 +0000
Subject: [PATCH] fix: bump to Lean 3.51.1 (#19088)

This should fix the web editor
---
 leanpkg.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/leanpkg.toml b/leanpkg.toml
index 06b84b6c77b86..fe8a559a3a6f7 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.51.0"
+lean_version = "leanprover-community/lean:3.51.1"
 path = "src"
 
 [dependencies]