Index: firmware/App/Controllers/ROPump.c
===================================================================
diff -u -rb9ffb582476f0bd19a1164000a6f728d55c1dfee -r4a57af44f1ae305d89ae1958919153f26a773d05
--- firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision b9ffb582476f0bd19a1164000a6f728d55c1dfee)
+++ firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision 4a57af44f1ae305d89ae1958919153f26a773d05)
@@ -807,10 +807,12 @@
  *************************************************************************/
 static void setROPumpControlSignalDutyCycle( F32 dutyCycle )
 {
+    BOOL isMaxPWM = FALSE;
+
     etpwmSetCmpB( etpwmREG2, (U32)( (S32)( ( dutyCycle * (F32)(etpwmREG2->TBPRD) ) + FLOAT_TO_INT_ROUNDUP_OFFSET ) ) );
 
     // See if the maximum PWM alarm has occurred
-    bool isMaxPWM = dutyCycle > MAX_ALLOWED_RO_PUMP_PWM_PERCENT ? TRUE : FALSE;
+    isMaxPWM = dutyCycle > MAX_ALLOWED_RO_PUMP_PWM_PERCENT ? TRUE : FALSE;
     checkPersistentAlarm( ALARM_ID_DG_MAX_RO_PUMP_PWM_EXCEEDED, isMaxPWM, dutyCycle, MAX_ALLOWED_RO_PUMP_PWM_PERCENT );
 }