From e6d75997945cf3fb48d50613cc1ab36e758a1c0a Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Mon, 7 Oct 2024 09:04:56 +0100
Subject: [PATCH] chore: bump lean4checker to v4.13.0-rc3

---
 .github/workflows/lean4checker.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lean4checker.yml b/.github/workflows/lean4checker.yml
index 8405cde825320..8976cc19badb6 100644
--- a/.github/workflows/lean4checker.yml
+++ b/.github/workflows/lean4checker.yml
@@ -70,7 +70,7 @@ jobs:
         run: |
           git clone https://github.com/leanprover/lean4checker
           cd lean4checker
-          git checkout v4.12.0-rc1
+          git checkout v4.13.0-rc3
           # Now that the git hash is embedded in each olean,
           # we need to compile lean4checker on the same toolchain
           cp ../lean-toolchain .