diff options
author | Son Ho | 2024-06-03 12:08:36 +0200 |
---|---|---|
committer | Son Ho | 2024-06-03 12:08:36 +0200 |
commit | 18623d7ee894a8e21bca9ef58fb4087cb4be558b (patch) | |
tree | 2bdb9e94f00438f3afeec2dbb6c446ab9b607ef3 /compiler/InterpreterPaths.ml | |
parent | 0ef06470110e11835ca394b96035ea44cb881a07 (diff) |
Make minor modifications
Diffstat (limited to 'compiler/InterpreterPaths.ml')
-rw-r--r-- | compiler/InterpreterPaths.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |