diff options
Diffstat (limited to 'proofs/proof.ml')
| -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 c38f80a55..6cc43de72 100644 --- a/proofs/proof.ml +++ b/proofs/proof.ml @@ -127,7 +127,7 @@ type proof_state = { type proof_info = { mutable endline_tactic : unit Proofview.tactic ; - mutable section_vars : Sign.section_context option; + mutable section_vars : Context.section_context option; initial_conclusions : Term.types list } |