Index: firmware/source/het.c
===================================================================
diff -u -r9d4666bf3064df18a6d935125d7a69e4e8234e84 -rbf7c3835ce5a7bcbc47c305fb2fe5490d0899db8
--- firmware/source/het.c	(.../het.c)	(revision 9d4666bf3064df18a6d935125d7a69e4e8234e84)
+++ firmware/source/het.c	(.../het.c)	(revision bf7c3835ce5a7bcbc47c305fb2fe5490d0899db8)
@@ -1938,8 +1938,6 @@
 /** @fn void het1HighLevelInterrupt(void)
 *   @brief Level 0 Interrupt for HET1
 */
-#pragma CODE_STATE(het1HighLevelInterrupt, 32)
-#pragma INTERRUPT(het1HighLevelInterrupt, FIQ)
 
 /* SourceId : HET_SourceId_018 */
 /* DesignId : HET_DesignId_017 */