From ae1eb22a1365a6f477fc328eabf821fd346b5f0b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 28 Oct 2019 16:02:51 +0100
Subject: Doc: index command Arguments with assert

---
 doc/sphinx/language/gallina-extensions.rst | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/sphinx/language/gallina-extensions.rst b/doc/sphinx/language/gallina-extensions.rst
index f477bf239d..f50cf9340c 100644
--- a/doc/sphinx/language/gallina-extensions.rst
+++ b/doc/sphinx/language/gallina-extensions.rst
@@ -1927,9 +1927,11 @@ Renaming implicit arguments
 
    This command is used to redefine the names of implicit arguments.
 
-With the assert flag, ``Arguments`` can be used to assert that a given
-object has the expected number of arguments and that these arguments
-are named as expected.
+.. cmd:: Arguments @qualid {* @name} : assert
+   :name: Arguments (assert)
+
+   This command is used to assert that a given object has the expected
+   number of arguments and that these arguments are named as expected.
 
 .. example:: (continued)
 
-- 
cgit v1.2.3