Fixing typos - Part 3

1 files changed, 1 insertions, 1 deletions

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 *)