diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/proof.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/proof.ml b/proofs/proof.ml index e9c8ce6746..50a0e63700 100644 --- a/proofs/proof.ml +++ b/proofs/proof.ml @@ -563,7 +563,7 @@ let solve ?with_end_tac gi info_lvl tac pr = else tac in let env = Global.env () in - let env = Option.cata (fun f -> Environ.set_typing_flags f env) env pr.typing_flags in + let env = Environ.update_typing_flags ?typing_flags:pr.typing_flags env in let (p,(status,info),()) = run_tactic env tac pr in let env = Global.env () in let sigma = Evd.from_env env in |