From 162fc39bcc36953402d668b5d7ac7b88c9966461 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 2 Dec 1999 16:43:08 +0000
Subject: modifs pour premiere edition de liens

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@189 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/evd.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/evd.mli')

diff --git a/kernel/evd.mli b/kernel/evd.mli
index 1b00cddb4a..e9f7818ffa 100644
--- a/kernel/evd.mli
+++ b/kernel/evd.mli
@@ -26,7 +26,7 @@ type 'a evar_info = {
   evar_concl : constr;
   evar_env : env;
   evar_body : evar_body;
-  evar_info : 'a }
+  evar_info : 'a option }
 
 type 'a evar_map
 
-- 
cgit v1.2.3