Remove unused module state in lustreGenRefTypeImpNodes

kind2-mc · Apr 12, 2024 · 73ad6cb · 73ad6cb
1 parent 4f3fcff
commit 73ad6cb
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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_"