From 66d582bf1fbe78f892583af1da48188a61d0daff Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 19 Jan 2022 10:30:07 +0100
Subject: Make a minor modification

---
 src/InterpreterExpressions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml
index 60918bac..b5ada10f 100644
--- a/src/InterpreterExpressions.ml
+++ b/src/InterpreterExpressions.ml
@@ -22,7 +22,7 @@ type eval_error = Panic
 
 type 'a eval_result = ('a, eval_error) result
 
-(** As long as there are symbolic values at a given place (potentially in subalues)
+(** As long as there are symbolic values at a given place (potentially in subvalues)
     which contain borrows and are primitively copyable, expand them.
     
     We use this function before copying values.
-- 
cgit v1.2.3