Google Git
Sign in
gnu / gcc / d769c5040874bf9546f2524f3f1d2a894165f92a / . / gcc / testsuite / gnat.dg / synchronized2_pkg.ads
blob: 57cae9c0bb769dee28acbdeadf26f8bd7939daee [file] [log] [blame]
package Synchronized2_Pkg with SPARK_Mode is
type T is limited private;
private
task type T;
end;