project Intro is

   package Compiler is
      for Default_Switches ("ada") use ("-gnat12", "-gnato13");
   end Compiler;

   package Prove is
      for Switches use ("--timeout=2", "--report=detailed");
   end Prove;

end Intro;
