From f39e76ee5f87314cf90271c42269d577be8539bd Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 12 Nov 2024 17:27:22 +0100 Subject: [PATCH] Wording Co-authored-by: Son HO --- compiler/InterpreterPaths.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/InterpreterPaths.ml b/compiler/InterpreterPaths.ml index c41ce921..bdb30478 100644 --- a/compiler/InterpreterPaths.ml +++ b/compiler/InterpreterPaths.ml @@ -61,7 +61,7 @@ type projection_access = { } (* Projects a value with a `projection_elem`. Returns the projected value and a - backwards function that propagates any changes to the projected value back + continuation that propagates any changes to the projected value back to the original one. *) let rec project_value (span : Meta.span) (access : projection_access) (ek : exploration_kind) (depth : int) (ctx : eval_ctx)