Index: firmware/source/adc.c
===================================================================
diff -u -ra49bd0780d97bb4ce04a9d7b128a6e3c2df044e1 -r0953a2a6940f9f096fa98cc1e8a5578deab4d8ef
--- firmware/source/adc.c	(.../adc.c)	(revision a49bd0780d97bb4ce04a9d7b128a6e3c2df044e1)
+++ firmware/source/adc.c	(.../adc.c)	(revision 0953a2a6940f9f096fa98cc1e8a5578deab4d8ef)
@@ -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 */