ADCHS Filter Interrupt handler called twice

[picerno76]

it is called twice because the flag is cleared before the reading of the data in the user callback

void __attribute__((used)) ADC_DF1_InterruptHandler(void)
{
    IFS1CLR = _IFS1_ADCDF1IF_MASK;
    if (ADCHS_DFCallbackObj[0].callback_fn != NULL)
    {
      ADCHS_DFCallbackObj[0].callback_fn(ADCHS_DFCallbackObj[0].context);
    }
}

I have fixed it clearing the flag again in the callback after the reading but I think that the library should be fixed this way

void __attribute__((used)) ADC_DF1_InterruptHandler(void)
{
    if (ADCHS_DFCallbackObj[0].callback_fn != NULL)
    {
      ADCHS_DFCallbackObj[0].callback_fn(ADCHS_DFCallbackObj[0].context);
    }
    IFS1CLR = _IFS1_ADCDF1IF_MASK;
}