From 3cadf01e5b67af4ec91f2de3c32e119cd90c678c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 11:27:46 +0100
Subject: Move more definitions and do more cleanup

---
 src/InterpreterBorrows.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/InterpreterBorrows.ml')

diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml
index 38c79b66..ca1f87f1 100644
--- a/src/InterpreterBorrows.ml
+++ b/src/InterpreterBorrows.ml
@@ -4,6 +4,7 @@ module C = Contexts
 module Subst = Substitute
 module L = Logging
 open Utils
+open ValuesUtils
 open InterpreterUtils
 open InterpreterBorrowsCore
 open InterpreterProjectors
-- 
cgit v1.2.3