From bc8c752649027474d188c5e7d4b752cc3899f442 Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Thu, 15 Dec 2022 21:05:20 +0100
Subject: [PATCH] Add a comment concerning `pp_resvars` to avoid declaring
 multiple times two arrays while two would be enough

---
 src/ast_to_c.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml
index 47626a9..52b439c 100644
--- a/src/ast_to_c.ml
+++ b/src/ast_to_c.ml
@@ -197,6 +197,7 @@ let rec pp_equations node_name fmt: t_eqlist -> unit = function
         (pp_expression node_name) expr
         (pp_equations node_name) eqs
 
+(* By prepending to the `Format.formatter` `fmt` we could just declare these arrays once with a size of the maximum `reset_expressions_counter` *)
 let pp_resvars reset_expressions_counter =
     (* use the fact that any boolean and any integer can be encoded as a float *)
     Format.sprintf "float tmp_reset[%i], init[%i];" reset_expressions_counter reset_expressions_counter