From 73ad6cbd6d49f3b22aa4e59d00f9f37728e91dc0 Mon Sep 17 00:00:00 2001
From: Rob Lorch <lorchrob@gmail.com>
Date: Fri, 12 Apr 2024 14:58:39 -0500
Subject: [PATCH] Remove unused module state in lustreGenRefTypeImpNodes

---
 src/lustre/lustreGenRefTypeImpNodes.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/lustre/lustreGenRefTypeImpNodes.ml b/src/lustre/lustreGenRefTypeImpNodes.ml
index fff312f9e..d47b83fac 100644
--- a/src/lustre/lustreGenRefTypeImpNodes.ml
+++ b/src/lustre/lustreGenRefTypeImpNodes.ml
@@ -17,9 +17,6 @@
 
 module A = LustreAst
 
-(* [i] is module state used to guarantee newly created identifiers are unique *)
-let i = ref 0
-
 let inputs_tag = ".inputs_"
 let contract_tag = ".contract_"
 let type_tag = ".type_"