MSPM0G3507: Possible SDK Bug in dl_sysctl Header

Tool/software:

I believe there may be a bug in the dl_sysctl_mspm0g1x0x_g3x0x.h header file.  The header has the function below.

__STATIC_INLINE uint32_t DL_SYSCTL_getTempCalibrationConstant(void)
{
    return DL_FactoryRegion_getTemperatureVoltage();
}

The DL_FactoryRegion_getTemperatureVoltage() fine is declared in the dl_factoryregion.h but dl_factoryregion.h is NOT included in dl_sysctl_mspm0g1x0x_g3x0x.h file.  The results in a compile error which is fixed by manually including the header.

I'm building with the current released SDK Version from GitHub : 2.00.01.03.

Thanks,

Ben