From d2804f160f8ceb3d2032db097c769ee0f1c0ab96 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 14 Dec 2012 16:57:26 +0000
Subject: Fixing ocalmdoc comment

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

(limited to 'kernel')

diff --git a/kernel/names.mli b/kernel/names.mli
index 2f8445ef6f..150c04608c 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -291,7 +291,7 @@ val eq_id_key : id_key -> id_key -> bool
 val eq_con_chk : constant -> constant -> bool
 val eq_ind_chk : inductive -> inductive -> bool
 
-(** {6 Deprecated functions. For backward compatibility. *)
+(** {6 Deprecated functions. For backward compatibility.} *)
 
 (** {5 Identifiers} *)
 
-- 
cgit v1.2.3