TMS320F28P550SG: F28P55 driverlib Bug : ADC_setInterruptSource() failed with code generated by sysconfig

Part Number: TMS320F28P550SG
Other Parts Discussed in Thread: SYSCONFIG, C2000WARE

i'm using CCS20.4.1, C2000Ware.6.0.1,  offline SysConfig 1.27.1+4634, 
and set  ADC_INT_TRIGGER_OSINT4 as ADC A interrupt 4 source.

The error is shown at initial stage that "ASSERT(intTrigger < 35U);"

can i just modify the magic number 35 to 36  in driverlib/adc.h ? 

 

image.pngimage.pngimage.png