On Tue, 11 Dec 2018 12:48:15 +0100, Florian Weimer wrote: > * Pierre-Marie de Rodat: > > > procedure Split > > (Date : Time; > > Year : out Year_Number; > > Month : out Month_Number; > > Day : out Day_Number; > > - Seconds : out Day_Duration); > > + Seconds : out Day_Duration) > > + with > > + Global => null; > > Is this really correct? Doesn't this call UTC_Time_Offset eventually, via > Formatting_Operations.Split with Use_TZ => False?
You are right. I will remove the Global contracts from non-arithmetic routines. Thanks for noticing this!
