gnatprove_13.2.1_28fc3583/share/examples/spark/spark_book/Chapter-03/pack_test.adb

1
2
3
4
5
6
7
with Pack_A, Pack_B;
with Ada.Integer_Text_IO;
procedure Pack_Test is
begin
   Ada.Integer_Text_IO.Put (Pack_A.Var_1);
   Ada.Integer_Text_IO.Put (Pack_B.Var_3);
end Pack_Test;