diff options
| author | Son Ho | 2022-01-26 23:41:08 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-26 23:41:08 +0100 |
| commit | 8e7071145b9f0deef99bb794af3629435a1b5fce (patch) | |
| tree | b2b6eb0af5147225be60590b57074ad34c00b482 | |
| parent | 29602c3fb6523d3699b85ca447aa92521a7f60d3 (diff) | |
Make minor modifications
| -rw-r--r-- | src/Invariants.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Invariants.ml b/src/Invariants.ml index 2d26404d..b61763ff 100644 --- a/src/Invariants.ml +++ b/src/Invariants.ml @@ -188,7 +188,7 @@ let check_loans_borrows_relation_invariant (ctx : C.eval_ctx) : unit = | None -> let err = "find_info: could not find the representant of borrow " - ^ V.BorrowId.to_string bid ^ "\n" ^ context_to_string () + ^ V.BorrowId.to_string bid ^ ":\nContext:\n" ^ context_to_string () in log#serror err; failwith err |