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 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'src/Print.ml')

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 =
-- 
cgit v1.2.3