From 8e7071145b9f0deef99bb794af3629435a1b5fce Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 23:41:08 +0100
Subject: Make minor modifications

---
 src/Invariants.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3