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