From d6f65c3ee0833ce26753b0cac469b52783d04336 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 30 Nov 2021 21:05:48 +0100
Subject: Make minor cleanup

---
 src/Print.ml  | 7 +------
 src/Values.ml | 2 +-
 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;
-- 
cgit v1.2.3