Require target lra in gcc.dg/pr108095.c
[official-gcc.git] / gcc / testsuite / gnat.dg / assertion_policy1_pkg.adb
blob90d31b50f284787f244dfd8bd77194902bbe2d74
1 with Ada.Text_IO; use Ada.Text_IO;
3 package body Assertion_Policy1_Pkg is
4 procedure Proc (Low : Integer; High : Integer) is
5 begin
6 Put_Line ("Proc");
7 end Proc;
8 end Assertion_Policy1_Pkg;