diff options
| -rw-r--r-- | doc/sphinx/language/gallina-extensions.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/language/gallina-extensions.rst b/doc/sphinx/language/gallina-extensions.rst index 8b7e5c9a02..b59d0bb723 100644 --- a/doc/sphinx/language/gallina-extensions.rst +++ b/doc/sphinx/language/gallina-extensions.rst @@ -1655,7 +1655,7 @@ Declaring Implicit Arguments For instance in - .. coqtop:: all + .. coqtop:: all warn Arguments prod _ [_]. |