From 18623d7ee894a8e21bca9ef58fb4087cb4be558b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 12:08:36 +0200
Subject: Make minor modifications

---
 compiler/InterpreterPaths.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterPaths.ml')

diff --git a/compiler/InterpreterPaths.ml b/compiler/InterpreterPaths.ml
index a74017d1..b2de3b22 100644
--- a/compiler/InterpreterPaths.ml
+++ b/compiler/InterpreterPaths.ml
@@ -198,7 +198,7 @@ let rec access_projection (span : Meta.span) (access : projection_access)
                     craise __FILE__ __LINE__ span
                       "Expected a shared (abstraction) loan"
                 | _, Abstract (ASharedLoan (pm, bids, sv, _av)) -> (
-                    (* Sanity check: markers can only appear when we're doing a join *)
+                    (* Sanity check: projection markers can only appear when we're doing a join *)
                     sanity_check __FILE__ __LINE__ (pm = PNone) span;
                     (* Explore the shared value *)
                     match access_projection span access ctx update p' sv with
-- 
cgit v1.2.3