Minor style: Remove useless initialize

Change-Id: Id70e8f59ed4a74f1625eca4c80c2c99b6eae8835
This commit is contained in:
Raphael Amiard
2016-06-14 12:47:59 +02:00
parent 633f4dd7f3
commit 807364fb00

View File

@@ -673,10 +673,7 @@ private
-- Predicate used to filter the nodes Traverse_It yields
end record;
overriding
procedure Initialize (It : in out Find_Iterator) is null;
overriding
procedure Finalize (It : in out Find_Iterator);
overriding procedure Finalize (It : in out Find_Iterator);
---------------------------------------------------
-- Source location-related operations (interals) --