diff options
author | Son Ho | 2021-11-30 21:05:48 +0100 |
---|---|---|
committer | Son Ho | 2021-11-30 21:05:48 +0100 |
commit | d6f65c3ee0833ce26753b0cac469b52783d04336 (patch) | |
tree | 43a5befc8ca56b9d52063060d0584d0cfa2837ff /src/Print.ml | |
parent | 7963e3ee84090b96308eebc68ee20532ea85c532 (diff) |
Make minor cleanup
Diffstat (limited to 'src/Print.ml')
-rw-r--r-- | src/Print.ml | 7 |
1 files changed, 1 insertions, 6 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 = |