------------------------------------------------------------------------------
--                                                                          --
--                         GNAT RUN-TIME EXTENSIONS                         --
--                                                                          --
--                                 X A D A                                  --
--                                                                          --
--                                 S p e c                                  --
--                                                                          --
------------------------------------------------------------------------------

package XAda is
   pragma Pure (XAda);   

end XAda;
