From ddc4391be1214ea4d929ba0a8737be4eda6b87ad Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Wed, 16 May 2018 20:07:30 -0400
Subject: [doc] Fix a typo in coqdomain.py

---
 doc/sphinx/README.rst         | 4 ++--
 doc/tools/coqrst/coqdomain.py | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/sphinx/README.rst b/doc/sphinx/README.rst
index 4673107e3d..983f4e665f 100644
--- a/doc/sphinx/README.rst
+++ b/doc/sphinx/README.rst
@@ -260,8 +260,8 @@ In addition to the objects above, the ``coqrst`` Sphinx plugin defines the follo
 
        .. inference:: name
 
-          newline-separated premisses
-          ------------------------
+          newline-separated premises
+          --------------------------
           conclusion
 
     Example::
diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index 40554c3ca3..d81355e865 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -632,8 +632,8 @@ class InferenceDirective(Directive):
 
        .. inference:: name
 
-          newline-separated premisses
-          ------------------------
+          newline-separated premises
+          --------------------------
           conclusion
 
     Example::
-- 
cgit v1.2.3