From d306f5428db0d034aea55d3f0699c67c1f296cc1 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:28:55 +0200
Subject: Fixing typos - Part 3

---
 pretyping/typeclasses.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/typeclasses.ml')

diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml
index ee27aea93f..26801d285e 100644
--- a/pretyping/typeclasses.ml
+++ b/pretyping/typeclasses.ml
@@ -62,7 +62,7 @@ type typeclass = {
   (* Context of definitions and properties on defs, will not be shared *)
   cl_props : Constr.rel_context;
 
-  (* The method implementaions as projections. *)
+  (* The method implementations as projections. *)
   cl_projs : (Name.t * (direction * hint_info) option
 	      * Constant.t option) list;
   
-- 
cgit v1.2.3