with RFLX.SPDM_Proxy.Proxy;

package SPDM_Proxy with
   SPARK_Mode
is

   type Context is new RFLX.SPDM_Proxy.Proxy.Context with null record;

end SPDM_Proxy;