From 10838d3f2d9f23427ce715997679e65c7b846477 Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Mon, 19 Dec 2022 17:45:33 +0100
Subject: [PATCH] Remove `TODO` in `src/passes.ml:automaton_translation`

As Antoine Grimod said that it was already done.
---
 src/passes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/passes.ml b/src/passes.ml
index 4768751..c409846 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -698,7 +698,7 @@ let automaton_translation debug automaton =
   in
 
   let rec translate_var s v explist ty = match explist with
-  | [] -> default_constant ty (* TODO *)
+  | [] -> default_constant ty
   | (state, exp)::q -> 
       ETriOp(Utils.type_exp exp, TOp_if,
         EComp([TBool], COp_eq,