From da7e489a7838c0e17c78ce33212ad3b1b96ddf94 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Wed, 6 May 2026 10:39:49 +0000
Subject: [PATCH] struct: remove unrequired comment

---
 model_with_structures/synthesizer.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/model_with_structures/synthesizer.ml b/model_with_structures/synthesizer.ml
index 759730a..11b6bfc 100644
--- a/model_with_structures/synthesizer.ml
+++ b/model_with_structures/synthesizer.ml
@@ -819,7 +819,6 @@ struct
           v == FunV fstmts &
           tp == FunT tps &
           st' == StEnv (mem, types', vals') &
-          (* TODO: type error, fix required *)
           list_foldl2o (stmt_addarg_foldero vals)
                        (Std.pair st' 0) tps es
                        (Std.pair state_with_args _arg_id) &