diff --git a/sw/tools/gen_abi.ml b/sw/tools/gen_abi.ml index 2852e31382..a96adfe2b9 100644 --- a/sw/tools/gen_abi.ml +++ b/sw/tools/gen_abi.ml @@ -157,7 +157,7 @@ end (* module Gen_onboard *) (********************* Main **************************************************) let () = if Array.length Sys.argv <> 3 then begin - failwith (sprintf "Usage: %s <.xml file> " Sys.argv.(0)) + failwith (sprintf "Usage: %s <.xml file> " Sys.argv.(0)) end; let filename = Sys.argv.(1)