From fe2a2cb34148e46e32cdcfbf100e38d9986082cd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 8 Mar 2024 16:06:35 +0100
Subject: Make progress on propagating the changes

---
 compiler/Contexts.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'compiler/Contexts.ml')

diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml
index b1dd9553..54411fd5 100644
--- a/compiler/Contexts.ml
+++ b/compiler/Contexts.ml
@@ -109,6 +109,8 @@ let reset_global_counters () =
   region_id_counter := RegionId.generator_zero;
   abstraction_id_counter := AbstractionId.generator_zero;
   loop_id_counter := LoopId.generator_zero;
+  (* We want the loop id to start at 1 *)
+  let _ = fresh_loop_id () in
   fun_call_id_counter := FunCallId.generator_zero;
   dummy_var_id_counter := DummyVarId.generator_zero
 
-- 
cgit v1.2.3