diff options
| author | Son Ho | 2022-02-08 20:49:46 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 20:49:46 +0100 |
| commit | bbb1ea77402545d52af0bb0076923d99ecc4c9e2 (patch) | |
| tree | e530d8a5882cb82b68497f24b1a6ede09874ec99 /src/InterpreterUtils.ml | |
| parent | fb013997dda4c01fdc395ab52ba9dc3669f3d71a (diff) | |
Add an option to allow the presence of bottom values below borrows
Diffstat (limited to '')
| -rw-r--r-- | src/InterpreterUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index 0445c6b6..68547d86 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -27,6 +27,8 @@ let aborrow_content_to_string = PA.aborrow_content_to_string let aloan_content_to_string = PA.aloan_content_to_string +let aproj_to_string = PA.aproj_to_string + let typed_value_to_string = PA.typed_value_to_string let typed_avalue_to_string = PA.typed_avalue_to_string |