* src/SDCCast.c (decorateType): fixed bug #870781