From 42a04b75717d719d013af902379450e4c0e72928 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Wed, 5 Mar 2014 20:01:47 -0500
Subject: Fix typo in comment.

---
 kernel/term.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/term.mli b/kernel/term.mli
index 8131753fe..dab1d2cea 100644
--- a/kernel/term.mli
+++ b/kernel/term.mli
@@ -405,7 +405,7 @@ val mkCoFix : cofixpoint -> constr
 (** {6 Aliases} *)
 
 val eq_constr : constr -> constr -> bool
-(** Alias for [Constr.eq] *)
+(** Alias for [Constr.equal] *)
 
 val kind_of_term : constr -> (constr, types) kind_of_term
 (** Alias for [Constr.kind] *)
-- 
cgit v1.2.3