Make_Op_Not (Loc,
Right_Opnd =>
Make_Op_Eq (Loc,
- Left_Opnd => Left_Opnd (N),
+ Left_Opnd => Left_Opnd (N),
Right_Opnd => Right_Opnd (N)));
-- The level of parentheses is useless in GNATprove mode, and
if Chars (Name_Call) = Name_Image then
Rewrite (N,
Make_Function_Call (Loc,
- Name => New_Copy (Name_Call),
+ Name => New_Copy (Name_Call),
Parameter_Associations => New_Actuals));
Analyze_And_Resolve (N);
else
Rewrite (N,
Make_Procedure_Call_Statement (Loc,
- Name => New_Copy (Name_Call),
+ Name => New_Copy (Name_Call),
Parameter_Associations => New_Actuals));
Analyze (N);
end if;
declare
G : constant Int := GCD (X.Numerator, X.Denominator);
begin
- return Rational'(Numerator => Whole (Int (X.Numerator) / G),
+ return Rational'(Numerator => Whole (Int (X.Numerator) / G),
Denominator => Whole (Int (X.Denominator) / G));
end;
end Reduce;