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/cooking.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/cooking.mli')

diff --git a/kernel/cooking.mli b/kernel/cooking.mli
index 3cd03fc9a2..1787478b9d 100644
--- a/kernel/cooking.mli
+++ b/kernel/cooking.mli
@@ -32,7 +32,7 @@ type recipe = {
   d_modlist : work_list }
 
 val cook_constant :
-  env -> recipe -> constr option * constr * constraints * bool
+  env -> recipe -> constr Lazy.t option * constr * constraints * bool
 
 (*s Utility functions used in module [Discharge]. *)
 
-- 
cgit v1.2.3