From 691d37218de76b0bf8084653ee85ddae43ff74a8 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 7 Sep 1999 12:51:05 +0000
Subject: mise en place commandes minicoq

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

(limited to 'kernel/constant.ml')

diff --git a/kernel/constant.ml b/kernel/constant.ml
index 9699d68a75..ba932b7885 100644
--- a/kernel/constant.ml
+++ b/kernel/constant.ml
@@ -18,7 +18,7 @@ type recipe =
 
 type constant_entry = {
   const_entry_body : constr;
-  const_entry_type : constr }
+  const_entry_type : constr option }
 
 type constant_body = {
   const_kind : path_kind;
-- 
cgit v1.2.3