diff options
| -rw-r--r-- | proofs/proof_global.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/proof_global.ml b/proofs/proof_global.ml index 76aa300aa1..780f2eeda6 100644 --- a/proofs/proof_global.ml +++ b/proofs/proof_global.ml @@ -300,7 +300,7 @@ let maximal_unfocus k p = begin try while Proof.no_focused_goal p do Proof.unfocus k p done - with Proof.FullyUnfocused -> () + with Proof.FullyUnfocused | Util.UserError _ -> () end |