From e32c14cd3d687221902bfe4f1e414f5618b38ef9 Mon Sep 17 00:00:00 2001
From: Meven Lennon-Bertrand <58942857+MevenBertrand@users.noreply.github.com>
Date: Thu, 8 May 2025 14:50:17 +0100
Subject: [PATCH] Correct a broken link to the dependency graph

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 79dc86b16..99841e2b7 100644
--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@ See [DOC.md](https://github.com/MetaRocq/metarocq/blob/-/DOC.md)
 At the center of this project is the Template-Rocq quoting library for
 Rocq. The project currently has a single repository extending
 Template-Rocq with additional features. Each extension is in a dedicated folder.
-The [dependency graph](https://raw.githubusercontent.com/MetaRocq/metarocq.github.io/main/assets/depgraph-2022-07-01.png)
+The [dependency graph](https://raw.githubusercontent.com/MetaRocq/metarocq.github.io/master/assets/depgraph-2022-07-01.png)
 might be useful to navigate the project.
 Statistics: ~300kLoC of Rocq, ~30kLoC of OCaml.