Index: firmware/App/Controllers/DialysatePumps.c
===================================================================
diff -u -r322747d530c1b8205be257557e53dcfe9caad50a -rf8bb43e62a4d10b64d8b197e372a56adfcfb88b9
--- firmware/App/Controllers/DialysatePumps.c	(.../DialysatePumps.c)	(revision 322747d530c1b8205be257557e53dcfe9caad50a)
+++ firmware/App/Controllers/DialysatePumps.c	(.../DialysatePumps.c)	(revision f8bb43e62a4d10b64d8b197e372a56adfcfb88b9)
@@ -539,12 +539,10 @@
                 dialysatePumps[ pumpId ].dialysatePumpState = handleDialysatePumpControlToTargetState( pumpId );
                 break;
 
-#ifndef _VECTORCAST_
             default:
                 SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DD_SOFTWARE_FAULT, SW_FAULT_ID_DIALYSATE_PUMP_EXEC_INVALID_STATE, pumpId )
                 dialysatePumps[ pumpId ].dialysatePumpState = DIALYSATE_PUMP_OFF_STATE;
                 break;
-#endif
         }
     }
 }