diff options
author | Son Ho | 2023-11-12 19:28:56 +0100 |
---|---|---|
committer | Son Ho | 2023-11-12 19:28:56 +0100 |
commit | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (patch) | |
tree | ba5a21debaad2d1efa1add3cbcbfa217b115d638 /compiler/InterpreterBorrows.mli | |
parent | 587f1ebc0178acb19029d3fc9a729c197082aba7 (diff) |
Remove the 'r type variable from the ty type definition
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterBorrows.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/InterpreterBorrows.mli b/compiler/InterpreterBorrows.mli index 31b67bd7..6302dcc3 100644 --- a/compiler/InterpreterBorrows.mli +++ b/compiler/InterpreterBorrows.mli @@ -137,7 +137,6 @@ val convert_value_to_abstractions : Rem.: it may be more idiomatic to have a functor, but this seems a bit heavyweight, though. *) - type merge_duplicates_funcs = { merge_amut_borrows : V.borrow_id -> |