From 62012e2d412d8586bd62b60beeb0b4005a66151f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 29 May 2017 21:01:23 +0200
Subject: A few typos.

---
 kernel/names.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index ae34033355..d7c0a5e980 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -590,7 +590,7 @@ module Constant = KerPair
 
 module Cmap = HMap.Make(Constant.CanOrd)
 (** A map whose keys are constants (values of the {!Constant.t} type).
-    Keys are ordered wrt. "cannonical form" of the constant. *)
+    Keys are ordered wrt. "canonical form" of the constant. *)
 
 module Cmap_env = HMap.Make(Constant.UserOrd)
 (** A map whose keys are constants (values of the {!Constant.t} type).
-- 
cgit v1.2.3