Wording

Co-authored-by: Son HO <[email protected]>
AeneasVerif · Nov 13, 2024 · f39e76e · f39e76e
1 parent 86377be
commit f39e76e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)