diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-10-12 13:41:22 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-10-12 13:41:22 +0200 |
| commit | 7c8bd312880e96f84c15fad18dbffe3fd78397c7 (patch) | |
| tree | c07a77085e3ce6cecb1a21dea57864f701bdcddf /driver | |
| parent | 4c4aebcb3b28c35b0534329dc43e7e7ff475c97b (diff) | |
| download | compcert-7c8bd312880e96f84c15fad18dbffe3fd78397c7.tar.gz compcert-7c8bd312880e96f84c15fad18dbffe3fd78397c7.zip | |
Fix minor typo
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index b89d93c1..edee32cf 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -337,7 +337,7 @@ Code generation options: (use -fno-<opt> to turn off -f<opt>)\n\ \ -dltl Save LTL after register allocation in <file>.ltl\n\ \ -dmach Save generated Mach code in <file>.mach\n\ \ -dasm Save generated assembly in <file>.s\n\ -\ -dall Save all generated intermidate files in <file>.<ext>\n\ +\ -dall Save all generated intermediate files in <file>.<ext>\n\ \ -sdump Save info for post-linking validation in <file>.json\n\ \ -doptions Save the compiler configurations in <file>.opt.json\n\ General options:\n\ |