From 7a569dfe04e62a97780c7f5f9e4f225b82c8f96a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 24 Apr 2018 11:59:48 +0200
Subject: [sphinx] Backport fix of typo.

(cf. 6131f89f6b91c45e641dd877df8719fa77987453)
---
 doc/sphinx/proof-engine/proof-handling.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/proof-engine/proof-handling.rst b/doc/sphinx/proof-engine/proof-handling.rst
index 86c94bab36..f62e956697 100644
--- a/doc/sphinx/proof-engine/proof-handling.rst
+++ b/doc/sphinx/proof-engine/proof-handling.rst
@@ -326,7 +326,7 @@ last ``Focus`` command.
 
 .. cmd:: Unfocused.
 
-Succeeds if the proof is fully unfocused, fails is there are some
+Succeeds if the proof is fully unfocused, fails if there are some
 goals out of focus.
 
 .. _curly-braces:
-- 
cgit v1.2.3