pragma SPARK_Mode (On);
pragma Warnings (Off, "*array aggregate*");

package body GrafikIntroTerminal is

   procedure Intro
   is begin
      
      null;
      
   end Intro;

end GrafikIntroTerminal;
