From db391451c5f89c034e6fec1b10fec66a25e3d4d4 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 4 Nov 2019 19:14:07 -0800
Subject: Replace "option" in doc when it refers to a flag

---
 doc/sphinx/user-extensions/proof-schemes.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/user-extensions')

diff --git a/doc/sphinx/user-extensions/proof-schemes.rst b/doc/sphinx/user-extensions/proof-schemes.rst
index 3a12ee288a..5b0b3c51b0 100644
--- a/doc/sphinx/user-extensions/proof-schemes.rst
+++ b/doc/sphinx/user-extensions/proof-schemes.rst
@@ -128,7 +128,7 @@ Automatic declaration of schemes
 
 .. warning::
 
-   You have to be careful with this option since Coq may now reject well-defined
+   You have to be careful with these flags since Coq may now reject well-defined
    inductive types because it cannot compute a Boolean equality for them.
 
 .. flag:: Rewriting Schemes
-- 
cgit v1.2.3