Disable GNATprove warning for Transfer_Info.Dump_Stats
[libxhcidbg.git] / src / hw-dbc-transfer_info.ads
index 51605b240af412aa57f3f04e38ecfacac5d24c3f..97b0017a77418dc88c45157aafd67c7d6da28b77 100644 (file)
@@ -69,7 +69,10 @@ is
 
    ----------------------------------------------------------------------------
 
+   pragma Warnings (GNATprove, Off, "subprogram ""Dump_Stats"" has no effect",
+                    Reason => "Only used for generating debug output");
    procedure Dump_Stats;
+   pragma Warnings (GNATprove, On, "subprogram ""Dump_Stats"" has no effect");
 
 end HW.DbC.Transfer_Info;