From ddd4ffea1dd58cd3e50c188699684b7506ce3bee Mon Sep 17 00:00:00 2001
From: slb Prime
Date: Sun, 28 Feb 2021 00:22:01 -0500
Subject: Fix link of default_bindings.

---
 doc/sphinx/practical-tools/coqide.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst
index dcc60195ed..e7237cf7eb 100644
--- a/doc/sphinx/practical-tools/coqide.rst
+++ b/doc/sphinx/practical-tools/coqide.rst
@@ -248,7 +248,7 @@ right arrow, or ``\>=`` for a greater than or equal sign.
 
 A larger number of latex tokens are supported by default. The full list
 is available here:
-https://github.com/coq/coq/blob/master/ide/default_bindings_src.ml
+https://github.com/coq/coq/blob/master/ide/coqide/default_bindings_src.ml
 
 Custom bindings may be added, as explained further on.
 
-- 
cgit v1.2.3