diff --git a/src/platform/avr32/MIZAR32/mizar32_conf.h b/src/platform/avr32/MIZAR32/mizar32_conf.h
index 17658dec..52ff7e36 100644
--- a/src/platform/avr32/MIZAR32/mizar32_conf.h
+++ b/src/platform/avr32/MIZAR32/mizar32_conf.h
@@ -22,7 +22,6 @@
 //#define BUILD_RPC
 #define BUF_ENABLE_UART
 #define BUILD_C_INT_HANDLERS
-#define BUILD_ADC
 
 // *****************************************************************************
 // UART/Timer IDs configuration data (used in main.c)
diff --git a/src/platform/avr32/platform.c b/src/platform/avr32/platform.c
index 59c0932b..ee7b30c5 100644
--- a/src/platform/avr32/platform.c
+++ b/src/platform/avr32/platform.c
@@ -37,9 +37,7 @@ extern int pm_configure_clocks( pm_freq_param_t *param );
 
 static u32 platform_timer_set_clock( unsigned id, u32 clock );
 
-#if NUM_ADC > 0
 __attribute__((__interrupt__)) static void adc_int_handler();
-#endif
 
 // Virtual timers support
 #if VTMR_NUM_TIMERS > 0