This is from 2010 Pub 523
Decreases to Basis
These include the following.• Discharge of qualified principal residence indebtedness that was excluded from income (but not belowzero).
