Improve the generation of pretty names by correctly using the

left constraints

1 files changed, 2 insertions, 3 deletions

diff --git a/src/Print.ml b/src/Print.ml
index 24945298..5ccba517 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -1072,9 +1072,8 @@ module LlbcAst = struct
      * (we have access to a body) *)
     match def.body with
     | None ->
-        (* Arguments - we need to ignore the first input type which is actually
-         * the return type... TODO: fix that *)
-        let input_tys = List.tl sg.inputs in
+        (* Arguments *)
+        let input_tys = sg.inputs in
         let args = List.map sty_to_string input_tys in
         let args = String.concat ", " args in