From 0e86ecb77a79e791c18861dbc63ae773b2f00d1f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 22:46:31 +0100
Subject: Implement greedy expansion of symbolic variables and expansion before
 copy

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

(limited to 'src/InterpreterBorrows.ml')

diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml
index d17991ea..19e5716f 100644
--- a/src/InterpreterBorrows.ml
+++ b/src/InterpreterBorrows.ml
@@ -439,6 +439,8 @@ let give_back_symbolic_value (_config : C.config) (sv : V.symbolic_value)
     in
     V.AEndedProjLoans child_proj
   in
+  (* TODO: we need to use the regions!! *)
+  raise Errors.Unimplemented;
   substitute_aproj_loans_with_id sv subst ctx
 
 (** Auxiliary function to end borrows. See [give_back].
-- 
cgit v1.2.3