--
--  Copyright (C) 2019-2023, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-Exception
--

with Ada.Containers.Vectors;

package GPR2.View_Ids.Vector is new Ada.Containers.Vectors
  (Positive, GPR2.View_Ids.View_Id);
