From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 library/summary.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/summary.mli')

diff --git a/library/summary.mli b/library/summary.mli
index 0d77d725ac..3875bcfe9e 100644
--- a/library/summary.mli
+++ b/library/summary.mli
@@ -28,7 +28,7 @@ type 'a summary_declaration = {
 
     Beware: for tables registered dynamically after the initialization
     of Coq, their init functions may not be run immediately. It is hence
-    the responsability of plugins to initialize themselves properly.
+    the responsibility of plugins to initialize themselves properly.
 *)
 
 val declare_summary : string -> 'a summary_declaration -> unit
-- 
cgit v1.2.3