From e049558f7479eb31c9294d418f51796ce704b565 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Fri, 27 Mar 2026 13:49:05 +0100
Subject: [PATCH] Update to Creusot v0.10.0+why3find-dep

---
 .github/workflows/ci.yaml | 2 +-
 README.md                 | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 8c09e00..1959884 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -11,7 +11,7 @@ concurrency:
   cancel-in-progress: true
 
 env:
-  CREUSOT_VERSION: v0.10.0
+  CREUSOT_VERSION: v0.10.0+why3find-dep
 
 jobs:
   rust:
diff --git a/README.md b/README.md
index 04d3ebf..d9859a3 100644
--- a/README.md
+++ b/README.md
@@ -33,10 +33,11 @@ on Github's servers, with a free quota of 120h monthly per user.
 1. [Follow these instructions to install Creusot.](https://guide.creusot.rs/installation.html)
 
     - This tutorial currently works with Creusot 0.10.0, so make sure to check out and install that version for the smoothest experience.
+      There is also a `dev` branch of this tutorial that keeps track of the development branch of Creusot.
 
         ```
         # In the creusot repository, before running `./INSTALL`
-        git checkout v0.10.0
+        git checkout v0.10.0+why3find-dep
         ```
 
     - The dev version of Creusot should also mostly work, up to redirecting to your local version of `creusot-std`.