
package body Float_Div_Lt_1
  with SPARK_Mode
is

   procedure Div_Lt_1 (Dividend : Integer;
                       Divisor  : Integer;
                       Quotient : Fixed)
   is
   begin
      null;
   end Div_Lt_1;

end Float_Div_Lt_1;
