From cd3819db675bd42510eac1bd616ca20e33e7d997 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 1 Sep 2017 00:57:33 +0200
Subject: Closures now wear the constant they originated from.

---
 src/tac2expr.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/tac2expr.mli')

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
-- 
cgit v1.2.3