Index: firmware/source/adc.c
===================================================================
diff -u -ref0b3f0ec00fadc50f95e0db1a6477fb4b076ea1 -rbf7c3835ce5a7bcbc47c305fb2fe5490d0899db8
--- firmware/source/adc.c	(.../adc.c)	(revision ef0b3f0ec00fadc50f95e0db1a6477fb4b076ea1)
+++ firmware/source/adc.c	(.../adc.c)	(revision bf7c3835ce5a7bcbc47c305fb2fe5490d0899db8)
@@ -988,8 +988,6 @@
 /** @fn void adc1Group1Interrupt(void)
 *   @brief ADC1 Group 1 Interrupt Handler
 */
-#pragma CODE_STATE(adc1Group1Interrupt, 32)
-#pragma INTERRUPT(adc1Group1Interrupt, FIQ)
 
 /* SourceId : ADC_SourceId_015 */
 /* DesignId : ADC_DesignId_013 */