OSDN Git Service

* gcc-interface/trans.c (Identifier_to_gnu): Also handle deferred
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gnat.dg / tree_static_def.adb
1
2 package body TREE_STATIC_Def is
3
4  procedure check (i : int; v : integer) is
5  begin
6     if i.value /= v then
7       raise program_error;
8     end if;
9  end;
10 end;
11