diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/proof-engine/proof-handling.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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: |