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.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kernel/names.mli') diff --git a/kernel/names.mli b/kernel/names.mli index c73eb197b..004d52d4b 100644 --- a/kernel/names.mli +++ b/kernel/names.mli @@ -379,9 +379,9 @@ module Cset_env : CSig.SetS with type elt = Constant.t module Cmap : Map.ExtS with type key = Constant.t and module Set := Cset (** 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 : Map.ExtS with type key = Constant.t and module Set := Cset_env +module Cmap_env : Map.ExtS with type key = Constant.t and module Set := Cset_env (** A map whose keys are constants (values of the {!Constant.t} type). Keys are ordered wrt. "user form" of the constant. *) -- cgit v1.2.3