From 81492757797caef50d4eb3eb185f813463da883d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 7 Jan 2014 10:24:12 +0100
Subject: STM: additional fix for STM + vm_compute

Thanks again Maximes.

This time the C value was stored in the env_(named|rel)_val of
the environment
---
 kernel/pre_env.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/pre_env.mli')

diff --git a/kernel/pre_env.mli b/kernel/pre_env.mli
index 3968ebcd5e..35223db82f 100644
--- a/kernel/pre_env.mli
+++ b/kernel/pre_env.mli
@@ -37,7 +37,7 @@ type stratification = {
 }
 
 type val_kind =
-    | VKvalue of values * Id.Set.t
+    | VKvalue of (values * Id.Set.t) Ephemeron.key
     | VKnone
 
 type lazy_val = val_kind ref
-- 
cgit v1.2.3