diff options
author | Son Ho | 2022-01-12 18:10:16 +0100 |
---|---|---|
committer | Son Ho | 2022-01-12 18:10:16 +0100 |
commit | 8cc257310c643e800b6bfcbc499fb253c817d3b7 (patch) | |
tree | 31588fa0be9f0fcbf557e0ff19ca21dd1af30a73 /src/InterpreterUtils.ml | |
parent | a84adca5d499a02c50b5510dd49dbbdf9c387018 (diff) |
Introduce dummy variables and update assign_to_place
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index fd596fd3..a808e14c 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -105,7 +105,7 @@ type g_loan_content = (V.loan_content, V.aloan_content) concrete_or_abs type g_borrow_content = (V.borrow_content, V.aborrow_content) concrete_or_abs (** Generic borrow content: concrete or abstract *) -type abs_or_var_id = AbsId of V.AbstractionId.id | VarId of V.VarId.id +type abs_or_var_id = AbsId of V.AbstractionId.id | VarId of V.VarId.id option exception FoundBorrowContent of V.borrow_content (** Utility exception *) |