gcc/testsuite/gnat.dg/discr56_pkg1.adb - gcc - Git at Google

 package body Discr56_Pkg1 is

    protected body Buffer is
    end Buffer;

 end Discr56_Pkg1;
	package body Discr56_Pkg1 is

	protected body Buffer is
	end Buffer;

	end Discr56_Pkg1;