Index: firmware/App/Controllers/AirPump.c
===================================================================
diff -u -r2db157fa0b39912cdf03e39c5ff3090c300ff32c -r6e30feb28cf365c5c26a9a7283e944b4c24a11cb
--- firmware/App/Controllers/AirPump.c	(.../AirPump.c)	(revision 2db157fa0b39912cdf03e39c5ff3090c300ff32c)
+++ firmware/App/Controllers/AirPump.c	(.../AirPump.c)	(revision 6e30feb28cf365c5c26a9a7283e944b4c24a11cb)
@@ -47,8 +47,6 @@
 
 // ********** private data **********
 
-static const U32 AIR_PUMP_STATUS_PERSISTENCE = ( MS_PER_SECOND / TASK_GENERAL_INTERVAL );
-static AIR_PUMP_MOTOR_STATE_T currentAirPumpMotorState;
 static AIR_PUMP_STATE_T currentAirPumpState;
 static U32 airPumpDataPublicationTimerCounter;
 static OVERRIDE_U32_T airPumpDataPublishInterval = { AIR_PUMP_DATA_PUB_INTERVAL, AIR_PUMP_DATA_PUB_INTERVAL, 0, 0 };
@@ -150,7 +148,7 @@
             break;
 
         default:
-            SET_ALARM_WITH_2_U32_DATA( ALARM_ID_HD_SOFTWARE_FAULT, SW_FAULT_ID_HD_AIR_PUMP_INVALID_STATE, (U32)state )
+            SET_ALARM_WITH_2_U32_DATA( ALARM_ID_HD_SOFTWARE_FAULT, SW_FAULT_ID_HD_AIR_PUMP_INVALID_STATE, (U32)currentAirPumpState )
             break;
     }
     publishAirPumpData();