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