diff options
| author | Kazuhiko Sakaguchi | 2019-12-28 01:56:05 +0900 |
|---|---|---|
| committer | GitHub | 2019-12-28 01:56:05 +0900 |
| commit | 471400e724317963983a0670a4c3437b1dcc61d5 (patch) | |
| tree | afbb1b82a304e327d4b903e006dae155b6f9011b | |
| parent | f5952c10856791b10393c0bfb9dc55277d41a5c7 (diff) | |
Update doc/sphinx/language/gallina-extensions.rst
Co-Authored-By: Cyril Cohen <CohenCyril@users.noreply.github.com>
| -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 4ca20ce313..a8d6d2632b 100644 --- a/doc/sphinx/language/gallina-extensions.rst +++ b/doc/sphinx/language/gallina-extensions.rst @@ -2081,7 +2081,7 @@ in :ref:`canonicalstructures`; here only a simple example is given. canonical structure. For each of them, the canonical structure of which it is a projection is indicated. If constants are given as its arguments, only the unification rules that involve or are - synthesized from given constants will be shown. + synthesized from simultaneously all given constants will be shown. .. example:: |