nlists.adb (Is_Non_Empty_List): Remove redundant test.
2008-04-08 Thomas Quinot <quinot@adacore.com> * nlists.adb (Is_Non_Empty_List): Remove redundant test. First (No_List) is defined to return Empty. From-SVN: r134042
This commit is contained in:
parent
dba1712345
commit
3f088c35ec
|
@ -6,7 +6,7 @@
|
|||
-- --
|
||||
-- B o d y --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
|
||||
-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- GNAT is free software; you can redistribute it and/or modify it under --
|
||||
-- terms of the GNU General Public License as published by the Free Soft- --
|
||||
|
@ -604,7 +604,7 @@ package body Nlists is
|
|||
|
||||
function Is_Non_Empty_List (List : List_Id) return Boolean is
|
||||
begin
|
||||
return List /= No_List and then First (List) /= Empty;
|
||||
return First (List) /= Empty;
|
||||
end Is_Non_Empty_List;
|
||||
|
||||
----------
|
||||
|
|
Loading…
Reference in New Issue