A historic provision in marine insurance contracts stipulating that when repairs are made and new parts are supplied in place of old ones that have been lost or damaged, there is an agreed discount for depreciation. Modern marine policies, however, generally provide for the repairs without a deduction for depreciation.