From 536abedcbcd96922700a97de85ce2a91d807c955 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 24 Jan 2022 07:38:30 +0100
Subject: Start working on printing for symbolic AST

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

(limited to 'src/InterpreterBorrowsCore.ml')

diff --git a/src/InterpreterBorrowsCore.ml b/src/InterpreterBorrowsCore.ml
index 1bcff935..57e47df0 100644
--- a/src/InterpreterBorrowsCore.ml
+++ b/src/InterpreterBorrowsCore.ml
@@ -1094,7 +1094,7 @@ let update_aproj_loans_to_ended (abs_id : V.AbstractionId.id)
   (* Lookup the projector of loans *)
   let given_back = lookup_aproj_loans abs_id sv ctx in
   (* Create the new value for the projector *)
-  let nproj = V.AEndedProjLoans given_back in
+  let nproj = V.AEndedProjLoans (sv, given_back) in
   (* Insert it *)
   let ctx = update_aproj_loans abs_id sv nproj ctx in
   (* Return *)
-- 
cgit v1.2.3