diff options
Diffstat (limited to 'src/tac2expr.mli')
| -rw-r--r-- | src/tac2expr.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tac2expr.mli b/src/tac2expr.mli index 1045063cd2..470323e7c7 100644 --- a/src/tac2expr.mli +++ b/src/tac2expr.mli @@ -201,6 +201,8 @@ and closure = { (** Bound variables *) clos_exp : glb_tacexpr; (** Body *) + clos_ref : ltac_constant option; + (** Global constant from which the closure originates *) } type ml_tactic = valexpr list -> valexpr Proofview.tactic |