From 61d11c649b4cd68e92861e2fea86f6c6a6b5bb6a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 27 Apr 2006 19:37:33 +0000
Subject: Standardisation nom option_app en option_map

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

(limited to 'kernel/term.ml')

diff --git a/kernel/term.ml b/kernel/term.ml
index e83c32821d..b082c091ef 100644
--- a/kernel/term.ml
+++ b/kernel/term.ml
@@ -643,7 +643,7 @@ let body_of_type ty = ty
 type named_declaration = identifier * constr option * types
 type rel_declaration = name * constr option * types
 
-let map_named_declaration f (id, v, ty) = (id, option_app f v, f ty)
+let map_named_declaration f (id, v, ty) = (id, option_map f v, f ty)
 let map_rel_declaration = map_named_declaration
 
 (****************************************************************************)
-- 
cgit v1.2.3