From 16aa66aabffeaaebc03c264b89387f010750dac3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 24 Jun 2024 11:10:28 +0200
Subject: Update charon

---
 compiler/PureMicroPasses.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'compiler/PureMicroPasses.ml')

diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml
index 543b2bee..dda6a611 100644
--- a/compiler/PureMicroPasses.ml
+++ b/compiler/PureMicroPasses.ml
@@ -1499,7 +1499,6 @@ let decompose_loops (_ctx : trans_ctx) (def : fun_decl) :
             let loop_def : fun_decl =
               {
                 def_id = def.def_id;
-                is_local = def.is_local;
                 item_meta;
                 kind = def.kind;
                 backend_attributes = def.backend_attributes;
-- 
cgit v1.2.3