diff --git a/source/board/override_nm180410/IO_Config_Override.h b/source/board/override_nm180410/IO_Config_Override.h
index ae035790a..464e87bd1 100644
--- a/source/board/override_nm180410/IO_Config_Override.h
+++ b/source/board/override_nm180410/IO_Config_Override.h
@@ -25,7 +25,7 @@
 #include "daplink.h"
 
 // This GPIO configuration is only valid for the LPC55XX HIC
-COMPILER_ASSERT((DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC55XX) || (DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC551X));
+COMPILER_ASSERT(DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC55XX);
 
 // All pins are PIO0.
 #define PIN_PIO_PORT            (0U)
diff --git a/source/hic_hal/nxp/lpc55xx/IO_Config.h b/source/hic_hal/nxp/lpc55xx/IO_Config.h
index b94ae0404..64e6975cc 100644
--- a/source/hic_hal/nxp/lpc55xx/IO_Config.h
+++ b/source/hic_hal/nxp/lpc55xx/IO_Config.h
@@ -35,7 +35,7 @@
 #include "daplink.h"
 
 // This GPIO configuration is only valid for the LPC55xx HIC
-COMPILER_ASSERT((DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC55XX) || (DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC551X));
+COMPILER_ASSERT(DAPLINK_HIC_ID == DAPLINK_HIC_ID_LPC55XX);
 
 // All pins are PIO0.
 #define PIN_PIO_PORT            (0U)