summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Print.ml7
-rw-r--r--src/Values.ml2
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;