Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-21 20:04:09 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

[clean] forgot a whitespace

Browse Source
This commit is contained in:
Gautier Hattenberger
2012-08-24 15:52:23 +02:00
parent 3414b96578
commit 9712dfacfa
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/gen_abi.ml
+1 -1
View File
@@ -157,7 +157,7 @@ end (* module Gen_onboard *)
(********************* Main **************************************************)
let () =
if Array.length Sys.argv <> 3 then begin
failwith (sprintf "Usage: %s <.xml file> <class_name>" Sys.argv.(0))
failwith (sprintf "Usage: %s <.xml file> <class_name>" Sys.argv.(0))
end;
let filename = Sys.argv.(1)