blob: 1c111ef941c007192a5f4661e0f2e01b3ae0e21a [file] [log] [blame]
with Synchronized2_Pkg;
package body Synchronized2 with SPARK_Mode, Refined_State => (State => C) is
C : Synchronized2_Pkg.T;
procedure Dummy is null;
end;