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/tac2core.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/tac2core.ml')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index f4486bf0c8..793cb3e535 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -647,6 +647,7 @@ let () = define1 "case" begin fun f ->
   Proofview.tclCASE (thaw f) >>= begin function
   | Proofview.Next (x, k) ->
     let k = {
+      clos_ref = None;
       clos_env = Id.Map.singleton k_var (Value.of_ext Value.val_kont k);
       clos_var = [Name e_var];
       clos_exp = GTacPrm (prm_apply_kont_h, [GTacVar k_var; GTacVar e_var]);
-- 
cgit v1.2.3