diff options
author | Escherichia | 2024-03-25 10:16:15 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 15:26:17 +0100 |
commit | 9b1a0d82c19375619904efe7e18e064701fb947b (patch) | |
tree | c6e5c474b651a76b7409098561266828608c50b6 /compiler/InterpreterBorrowsCore.ml | |
parent | 76fda6b5d205a4422c2360b676227690714c9ac5 (diff) |
Replaced some unclear TODOs error message placeholder by clearer TODOs, they were forgotten before last push
Diffstat (limited to 'compiler/InterpreterBorrowsCore.ml')
-rw-r--r-- | compiler/InterpreterBorrowsCore.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterBorrowsCore.ml b/compiler/InterpreterBorrowsCore.ml index 6691fdcd..a9a98b5c 100644 --- a/compiler/InterpreterBorrowsCore.ml +++ b/compiler/InterpreterBorrowsCore.ml @@ -558,7 +558,7 @@ let update_aborrow (meta : Meta.meta) (ek : exploration_kind) (l : BorrowId.id) * returning we check that we updated at least once. *) let r = ref false in let update () : avalue = - cassert (not !r) meta ""; + cassert (not !r) meta "TODO: error message"; r := true; nv in |