diff --git a/sledge/cli/sledge_cli.ml b/sledge/cli/sledge_cli.ml index 33a7b9a76..c7ce96d83 100644 --- a/sledge/cli/sledge_cli.ml +++ b/sledge/cli/sledge_cli.ml @@ -219,7 +219,9 @@ let llvm_grp = textual (.ll) form; or of the form @, where \ names a file containing one per line." in - let param = translate_inputs >>| fun _ () -> Report.Ok in + let param = + translate_inputs >*> Command.Param.return (fun _ -> Report.Ok) + in command ~summary ~readme param in let disassemble_cmd =