diff options
Diffstat (limited to 'src/InterpreterExpressions.ml')
| -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. |