summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-01-26 23:41:08 +0100
committerSon Ho2022-01-26 23:41:08 +0100
commit8e7071145b9f0deef99bb794af3629435a1b5fce (patch)
treeb2b6eb0af5147225be60590b57074ad34c00b482
parent29602c3fb6523d3699b85ca447aa92521a7f60d3 (diff)
Make minor modifications
-rw-r--r--src/Invariants.ml2
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