From 246d13747b6eff4d29c18cca57621633b81fe56e Mon Sep 17 00:00:00 2001
From: Michael D. Adams
Date: Thu, 17 Oct 2019 11:00:27 -0400
Subject: Fix link to `xml-protocol.md` in `dev/README.md`

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

(limited to 'dev')

diff --git a/dev/README.md b/dev/README.md
index 4cda60a703..0c6b8020f1 100644
--- a/dev/README.md
+++ b/dev/README.md
@@ -28,7 +28,7 @@
 | [`dev/doc/econstr.md`](doc/econstr.md) | Describes `Econstr`, implementation of treatment of `evar` in the engine |
 | [`dev/doc/primproj.md`](doc/primproj.md) | Describes primitive projections |
 | [`dev/doc/proof-engine.md`](doc/proof-engine.md) | Tutorial on new proof engine |
-| [`dev/doc/xml-protocol.md`](doc/proof-engine.md) | XML protocol that coqtop and IDEs use to communicate |
+| [`dev/doc/xml-protocol.md`](doc/xml-protocol.md) | XML protocol that coqtop and IDEs use to communicate |
 | [`dev/doc/MERGING.md`](doc/MERGING.md) |  How pull requests should be merged into `master` |
 | [`dev/doc/release-process.md`](doc/release-process.md) | Process of creating a new Coq release |
 
-- 
cgit v1.2.3