diff options
author | Son Ho | 2022-01-19 10:30:07 +0100 |
---|---|---|
committer | Son Ho | 2022-01-19 10:30:07 +0100 |
commit | 66d582bf1fbe78f892583af1da48188a61d0daff (patch) | |
tree | 487a2ab31e90585391cb7181ea295afc58099530 /src | |
parent | 25175fc342232e45f84d3b35f952b51321f7cca0 (diff) |
Make a minor modification
Diffstat (limited to 'src')
-rw-r--r-- | src/InterpreterExpressions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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. |