From 08a32f04b77b29ad17db75f7ba98c122c31b96aa Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 27 May 2019 17:30:19 +0200
Subject: Mini fix documentation coqtop in passing.

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

diff --git a/doc/sphinx/practical-tools/coq-commands.rst b/doc/sphinx/practical-tools/coq-commands.rst
index 3729dcd974..48d5f4075e 100644
--- a/doc/sphinx/practical-tools/coq-commands.rst
+++ b/doc/sphinx/practical-tools/coq-commands.rst
@@ -200,7 +200,7 @@ and ``coqtop``, unless stated otherwise:
 :-emacs, -ide-slave: Start a special toplevel to communicate with a
   specific IDE.
 :-impredicative-set: Change the logical theory of |Coq| by declaring the
-   sort Set impredicative.
+   sort :g:`Set` impredicative.
 
    .. warning::
 
-- 
cgit v1.2.3