Make minor cleanup

2 files changed, 2 insertions, 7 deletions

diff --git a/src/Print.ml b/src/Print.ml
index 911de5e3..25434eeb 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -792,12 +792,7 @@ module CfimAst = struct
     in
 
     (* Arguments *)
-    let inputs = def.locals in
-    let ret_var, inputs =
-      match inputs with
-      | [] -> failwith "Inconsistent signature"
-      | ret_var :: inputs -> (ret_var, inputs)
-    in
+    let inputs = List.tl def.locals in
     let inputs, _aux_locals = Utilities.list_split_at inputs def.arg_count in
     let args = List.combine inputs sg.inputs in
     let args =
diff --git a/src/Values.ml b/src/Values.ml
index c7a79eae..3e6bc838 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -17,7 +17,7 @@ module AbstractionId = IdGen ()
 
 module RegionId = IdGen ()
 
-(* TODO: move *)
+(* TODO: move? *)
 type var = {
   index : VarId.id;  (** Unique variable identifier *)
   name : string option;