From 072ff406206f863efe50e2136de035c6ed20b051 Mon Sep 17 00:00:00 2001
From: cderrien <65495526+cderrien@users.noreply.github.com>
Date: Tue, 17 May 2022 17:28:23 +0200
Subject: Broken indentation.

---
 src/options.adb | 10 +++++-----
 1 file 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.
-- 
cgit v1.2.3