* g++.dg/cpp1z/init-statement6.C: Rename a function.
[official-gcc.git] / gcc / testsuite / gnat.dg / noreturn1.ads
blobc63e43999077d05a1df12ec3c66b72a4ec5b7d5e
1 with Ada.Exceptions; use Ada.Exceptions;
3 package Noreturn1 is
5 procedure Error (E : in Exception_Occurrence);
6 pragma No_Return (Error);
8 end Noreturn1;