From bd6f371e4be7e745c049c5c5cc7523c6c2995df5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 29 Feb 2016 08:10:26 +0100
Subject: Fixed typo. Bug 18066

---
 driver/Driver.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 6969cbf6..88f9fad0 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -511,10 +511,11 @@ Assembling options:
 Linking options:
   -l<lib>        Link library <lib>
   -L<dir>        Add <dir> to search path for libraries
-  -nostartfiles  (GCC only) Do not use the standard system startup files when 
+  -nostartfiles  (GCC only) Do not use the standard system startup files when
                  linking
-  -nodefaultlibs (GCC only) Do no use the standard system libraries
-  -nostdlib      (GCC only) Do not use the standard system libraries when 
+  -nodefaultlibs (GCC only) Do not use the standard system libraries when
+                 linking
+  -nostdlib      (GCC only) Do not use the standard system libraries when
                  linking
   -s             Remove all symbol table and relocation information from the
                  executable
-- 
cgit