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.