blob: 57cae9c0bb769dee28acbdeadf26f8bd7939daee [file] [log] [blame]
package Synchronized2_Pkg with SPARK_Mode is
type T is limited private;
private
task type T;
end;