diff options
Diffstat (limited to 'proofs/proof_type.mli')
| -rw-r--r-- | proofs/proof_type.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/proofs/proof_type.mli b/proofs/proof_type.mli index 1b4a1c60dc..cc64be7162 100644 --- a/proofs/proof_type.mli +++ b/proofs/proof_type.mli @@ -49,11 +49,11 @@ type ctxtty = { pgm : constr option; lc : local_constraints } -type evar_declarations = ctxtty evar_map +type enamed_declarations = ctxtty evar_map (* A global constraint is a mappings of existential variables with some extra information for the program tactic *) -type global_constraints = evar_declarations timestamped +type global_constraints = enamed_declarations timestamped (* Signature useful to define the tactic type *) type 'a sigma = { |