From 66335e7a44dc449e99706c26d51f6da11b01a7f7 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 15 Oct 2019 06:48:45 +0200
Subject: Use Decode_Work_Option in options. Factorize code.

---
 src/libraries.adb | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'src/libraries.adb')

diff --git a/src/libraries.adb b/src/libraries.adb
index d4e809b63..c1d06c7eb 100644
--- a/src/libraries.adb
+++ b/src/libraries.adb
@@ -1642,8 +1642,7 @@ package body Libraries is
       return Libraries_Chain;
    end Get_Libraries_Chain;
 
-   function Decode_Work_Option
-     (Opt : String; Immediate : Boolean; Load_Lib : Boolean) return Boolean
+   function Decode_Work_Option (Opt : String) return Boolean
    is
       pragma Assert (Opt'First = 1);
       Name : String (1 .. Opt'Last - 8 + 1);
@@ -1655,9 +1654,6 @@ package body Libraries is
          return False;
       end if;
       Libraries.Work_Library_Name := Get_Identifier (Name);
-      if Immediate then
-         Libraries.Load_Work_Library (not Load_Lib);
-      end if;
       return True;
    end Decode_Work_Option;
 end Libraries;
-- 
cgit v1.2.3