1 files changed, 5 insertions, 5 deletions
diff --git a/src/options.adb b/src/options.adb
index bf94c3955..9cf591d59 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -90,13 +90,13 @@ package body Options is
          Error_Msg_Option ("unknown warning identifier: " & Opt);
          return Option_Err;
       end if;
-      
+
       -- Handle -Wall
       if Opt = "all" then
-	 for I in Msgid_Warnings loop
-	    Enable_Warning(I, True);
-	 end loop;
-	 return Option_Ok;
+         for I in Msgid_Warnings loop
+            Enable_Warning(I, True);
+         end loop;
+         return Option_Ok;
       end if;
 
       --  Normal warnings.