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

---
 toplevel/coqinit.ml  | 2 +-
 toplevel/coqloop.mli | 2 +-
 toplevel/vernac.ml   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index cbe353004e..f4ae00ed65 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -17,7 +17,7 @@ let set_debug () =
   let () = Backtrace.record_backtrace true in
   Flags.debug := true
 
-(* Loading of the ressource file.
+(* Loading of the resource file.
    rcfile is either $XDG_CONFIG_HOME/.coqrc.VERSION, or $XDG_CONFIG_HOME/.coqrc if the first one
   does not exist. *)
 
diff --git a/toplevel/coqloop.mli b/toplevel/coqloop.mli
index 0cc22ba31d..852a65f07b 100644
--- a/toplevel/coqloop.mli
+++ b/toplevel/coqloop.mli
@@ -17,7 +17,7 @@ type input_buffer = {
   mutable prompt : Stm.doc -> string;
   mutable str : Bytes.t; (** buffer of already read characters *)
   mutable len : int;    (** number of chars in the buffer *)
-  mutable bols : int list; (** offsets in str of begining of lines *)
+  mutable bols : int list; (** offsets in str of beginning of lines *)
   mutable tokens : Pcoq.Parsable.t; (** stream of tokens *)
   mutable start : int } (** stream count of the first char of the buffer *)
 
diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml
index c41f16c95b..41bff34bd3 100644
--- a/toplevel/vernac.ml
+++ b/toplevel/vernac.ml
@@ -37,7 +37,7 @@ let vernac_echo ?loc in_chan = let open Loc in
       Feedback.msg_notice @@ str @@ really_input_string in_chan len
     ) loc
 
-(* Reenable when we get back to feedback printing *)
+(* Re-enable when we get back to feedback printing *)
 (* let is_end_of_input any = match any with *)
 (*     Stm.End_of_input -> true *)
 (*   | _ -> false *)
-- 
cgit v1.2.3