summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/constant2_pkg1.ads
blob: 8905d306432b9ec4a6708b5b36ded4c39fb0d695 (plain)
1
2
3
4
5
6
7
with Constant2_Pkg2; use Constant2_Pkg2;

package Constant2_Pkg1 is

  Val : constant Boolean := F1 and then F2;

end Constant2_Pkg1;