From 37bcc5a38cf7d92d70c16850714b42d57846c7c2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 7 Jan 2022 11:19:26 +0100
Subject: Add logging information for borrows

---
 src/InterpreterBorrowsCore.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/InterpreterBorrowsCore.ml')

diff --git a/src/InterpreterBorrowsCore.ml b/src/InterpreterBorrowsCore.ml
index bc2f5971..aaab18cb 100644
--- a/src/InterpreterBorrowsCore.ml
+++ b/src/InterpreterBorrowsCore.ml
@@ -9,6 +9,9 @@ module Subst = Substitute
 module L = Logging
 open InterpreterUtils
 
+(** The local logger *)
+let log = L.borrows_log
+
 (** TODO: cleanup this a bit, once we have a better understanding about
     what we need.
     TODO: I'm not sure in which file this should be moved... *)
-- 
cgit v1.2.3