From 1e485645ef6481a856e8a67477f186519fb8ec9d Mon Sep 17 00:00:00 2001
From: coq
Date: Sat, 5 Oct 2002 11:03:20 +0000
Subject: Lazy experimentale temporaire...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/mod_typing.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'kernel/mod_typing.ml')

diff --git a/kernel/mod_typing.ml b/kernel/mod_typing.ml
index 0fb79376ab..b8399ab321 100644
--- a/kernel/mod_typing.ml
+++ b/kernel/mod_typing.ml
@@ -91,13 +91,14 @@ and merge_with env mtb with_decl =
 			  cst2
 		      in
 			SPBconst {cb with 
-				    const_body = Some j.uj_val;
+				    const_body = 
+				      Some (Lazy.lazy_from_val j.uj_val);
 				    const_constraints = cst}
 		  | Some b -> 
-		      let cst1 = Reduction.conv env' c b in 
+		      let cst1 = Reduction.conv env' c (Lazy.force_val b) in 
 		      let cst = Constraint.union cb.const_constraints cst1 in
 			SPBconst {cb with 
-				    const_body = Some c;
+				    const_body = Some (Lazy.lazy_from_val c);
 				    const_constraints = cst}
 	      end	
 	| With_Module (id, mp) ->
-- 
cgit v1.2.3