From 38a0d1e3733e2ba65ec2d980f7567c568adf2145 Mon Sep 17 00:00:00 2001 From: tydeu Date: Sat, 28 Jan 2023 11:09:35 -0500 Subject: [PATCH] chore: update Lake --- RELEASES.md | 4 ++-- src/lake | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index 638612024d..4f48af5b82 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,14 +1,14 @@ Unreleased --------- +* Update Lake to latest prerelease. + * [Make go-to-definition on a typeclass projection application go to the instance(s)](https://github.com/leanprover/lean4/pull/1767). * [Include timings in trace messages when `profiler` is true](https://github.com/leanprover/lean4/pull/1995). * [Pretty-print signatures in hover and `#check `](https://github.com/leanprover/lean4/pull/1943). -* [Update Lake to latest prerelease](https://github.com/leanprover/lean4/pull/1879). - * [Introduce parser memoization to avoid exponentional behavior](https://github.com/leanprover/lean4/pull/1799). * [feat: allow `doSeq` in `let x <- e | seq`](https://github.com/leanprover/lean4/pull/1809). diff --git a/src/lake b/src/lake index d0b530530f..db2c6a6707 160000 --- a/src/lake +++ b/src/lake @@ -1 +1 @@ -Subproject commit d0b530530f14dde97a547b03abf87eee06360d60 +Subproject commit db2c6a6707dcb58574884de512c2ab9bfc5ea3fc