From 4f3fcffdce27be9c66f39c120ed4c2f4936ae256 Mon Sep 17 00:00:00 2001 From: Rob Lorch Date: Fri, 12 Apr 2024 14:24:33 -0500 Subject: [PATCH] Remove unnecessary line --- src/lustre/lustreGenRefTypeImpNodes.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lustre/lustreGenRefTypeImpNodes.ml b/src/lustre/lustreGenRefTypeImpNodes.ml index 7a9dcf859..fff312f9e 100644 --- a/src/lustre/lustreGenRefTypeImpNodes.ml +++ b/src/lustre/lustreGenRefTypeImpNodes.ml @@ -65,7 +65,6 @@ let type_to_contract: HString.t -> A.lustre_type -> A.declaration let span = { A.start_pos = Lib.dummy_pos; end_pos = Lib.dummy_pos } in let pos = Lib.dummy_pos in let gen_node_id = HString.concat2 (HString.mk_hstring type_tag) id in - i := !i + 1; (* To prevent slicing, we mark generated imported nodes as main nodes *) let node_items = [A.AnnotMain(pos, true)] in NodeDecl (span, (gen_node_id, true, [], [], [(pos, id, ty, A.ClockTrue)], [], node_items, None))