Make minor modifications

1 files changed, 2 insertions, 2 deletions

diff --git a/src/CfimAst.ml b/src/CfimAst.ml
index 0e36f6df..64151a48 100644
--- a/src/CfimAst.ml
+++ b/src/CfimAst.ml
@@ -10,8 +10,8 @@ type var = {
   name : string option;
   var_ty : ety;
       (** The variable type - erased type, because variables are not used
-       ** in function signatures - TODO: useless? TODO: binder type for
-          function definitions *)
+       ** in function signatures: they are only used to declare the list of
+       ** variables manipulated by a function body *)
 }
 [@@deriving show]
 (** A variable, as used in a function definition *)