diff options
| author | Son Ho | 2022-01-25 23:14:23 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-25 23:14:23 +0100 |
| commit | a7286cac08c3501636cd163a79205a06d0eaa33c (patch) | |
| tree | 8a37c0015fa5b3e83458c8f4fccdfbc2695ae3b4 | |
| parent | 345f85f101974ce9347b4eed083a96cdf125085e (diff) | |
Make minor modifications
| -rw-r--r-- | src/SymbolicAstUtils.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/SymbolicAstUtils.ml b/src/SymbolicAstUtils.ml index 6e9f10b0..e74b381f 100644 --- a/src/SymbolicAstUtils.ml +++ b/src/SymbolicAstUtils.ml @@ -9,9 +9,9 @@ open InterpreterUtils type ('c, 's) ended = EndedConcrete of 'c | EndedSymbolic of 's -type ended_loan = (V.typed_value, V.msymbolic_value list) ended +type ended_loan = (V.mvalue, V.msymbolic_value list) ended -type ended_borrow = (V.typed_value, V.msymbolic_value) ended +type ended_borrow = (V.mvalue, V.msymbolic_value) ended type ended_loan_or_borrow = | EndedLoan of ended_loan |