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

---
 stm/stm.ml  | 6 +++---
 stm/stm.mli | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index d469994f3f..f680e55a78 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2661,10 +2661,10 @@ end (* }}} *)
 (********************************* STM API ************************************)
 (******************************************************************************)
 
-(* Main initalization routine *)
+(* Main initialization routine *)
 type stm_init_options = {
   (* The STM will set some internal flags differently depending on the
-     specified [doc_type]. This distinction should dissappear at some
+     specified [doc_type]. This distinction should disappear at some
      some point. *)
   doc_type     : stm_doc_type;
 
@@ -3117,7 +3117,7 @@ let ind_len_loc_of_id sid =
 
 let compute_indentation ?loc sid = Option.cata (fun loc ->
   let open Loc              in
-  (* The effective lenght is the lenght on the last line *)
+  (* The effective length is the length on the last line *)
   let len = loc.ep - loc.bp in
   let prev_indent = match ind_len_loc_of_id sid with
     | None         -> 0
diff --git a/stm/stm.mli b/stm/stm.mli
index 24c672c973..5e1e9bf5ad 100644
--- a/stm/stm.mli
+++ b/stm/stm.mli
@@ -50,7 +50,7 @@ type stm_doc_type =
   | VioDoc      of string       (* file path *)
   | Interactive of interactive_top    (* module path *)
 
-(** Coq initalization options:
+(** Coq initialization options:
 
  - [doc_type]: Type of document being created.
 
@@ -63,7 +63,7 @@ type stm_doc_type =
 *)
 type stm_init_options = {
   (* The STM will set some internal flags differently depending on the
-     specified [doc_type]. This distinction should dissappear at some
+     specified [doc_type]. This distinction should disappear at some
      some point. *)
   doc_type     : stm_doc_type;
 
@@ -86,7 +86,7 @@ type stm_init_options = {
 (** The type of a STM document *)
 type doc
 
-(** [init_core] performs some low-level initalization; should go away
+(** [init_core] performs some low-level initialization; should go away
    in future releases. *)
 val init_core : unit -> unit
 
-- 
cgit v1.2.3