From b3c2e77d346ce31f5974a7ad4c83d24750e5e489 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jan 2022 14:18:20 +0100
Subject: Update a comment

---
 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 4bb449bd..fbe6d00d 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -2780,7 +2780,7 @@ let expand_symbolic_value_borrow (ended_regions : T.RegionId.set_t)
   | T.Shared -> raise Unimplemented
 
 (** Auxiliary function.
-    Apply a symbolic expansion to avalues.
+    Apply a symbolic expansion to avalues in a context.
 *)
 let apply_symbolic_expansion_to_avalues (config : C.config)
     (allow_reborrows : bool) (original_sv : V.symbolic_value)
-- 
cgit v1.2.3