package SXML.Generator.Debug
with SPARK_Mode => Off
is
   procedure Dump (Context : Attributes_Type;
                   Short   : Boolean := False;
                   Message : String  := "Dumping attribute");

end SXML.Generator.Debug;
