diff options
Diffstat (limited to 'src/SymbolicAstUtils.ml')
-rw-r--r-- | src/SymbolicAstUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/SymbolicAstUtils.ml b/src/SymbolicAstUtils.ml index f781ed65..264f9cad 100644 --- a/src/SymbolicAstUtils.ml +++ b/src/SymbolicAstUtils.ml @@ -21,6 +21,8 @@ type ended_loan_or_borrow = loans/borrows of an abstraction We expect an abstraction where all the loans/borrows have ended. + + TODO: remove *) let get_top_owned_ended_loans_borrows (abs : V.abs) : ended_loan_or_borrow list = |