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