From bef8563b4429785df6c0c63e75ca5c6631ed4687 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 18:07:01 +0100
Subject: Make a minor modification

---
 src/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index fc95e136..f371e84f 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -226,7 +226,7 @@ let lookup_borrow_opt (ek : exploration_kind) (l : V.BorrowId.id) (env : C.env)
         if bid = l then raise (FoundBorrowContent (V.MutBorrow (bid, mv)))
         else if ek.enter_mut_borrows then super#visit_MutBorrow env bid mv
         else ()
-      (** Check the borrow id and control diving *)
+      (** Check the borrow id and control the diving *)
 
       method! visit_SharedBorrow env bid =
         if bid = l then raise (FoundBorrowContent (V.SharedBorrow bid)) else ()
-- 
cgit v1.2.3