Bob Camp wrote: > Hi > > When there's a leap second, what do you want to do? > > Ignore it = GPS time > put in an extra pulse = UTC time No, this is about which set of corrections to use. The GPS time is what the navigation solution cranks out, and UTC time is what you then correct that into for user display. Cheers, Magnus