From 3b73918146ac060689526871fcbeb2baa6b429e7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 6 Nov 2022 18:10:59 +0100
Subject: Add ids to the dummy variables

---
 compiler/InterpreterBorrows.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterBorrows.ml')

diff --git a/compiler/InterpreterBorrows.ml b/compiler/InterpreterBorrows.ml
index 16aaf60a..c8a7ae7f 100644
--- a/compiler/InterpreterBorrows.ml
+++ b/compiler/InterpreterBorrows.ml
@@ -931,7 +931,7 @@ let rec end_borrow (config : C.config) (chain : borrow_or_abs_ids)
                    * By doing that we should have ended the target borrow (see the
                    * below sanity check) *)
                   end_abstraction config chain abs_id
-            | VarId _, _ ->
+            | (VarId _ | DummyVarId _), _ ->
                 (* The loan is not inside the same abstraction (actually inside
                  * a non-abstraction value): we need to end the whole abstraction *)
                 end_abstraction config chain abs_id
-- 
cgit v1.2.3