Index: firmware/App/Controllers/RinsePump.c =================================================================== diff -u -r60db0506b1a90ed00b0e83159f6e7510ab6e4b7b -r29459d36699f1dd861de9a9c55bb7c3ec16e1864 --- firmware/App/Controllers/RinsePump.c (.../RinsePump.c) (revision 60db0506b1a90ed00b0e83159f6e7510ab6e4b7b) +++ firmware/App/Controllers/RinsePump.c (.../RinsePump.c) (revision 29459d36699f1dd861de9a9c55bb7c3ec16e1864) @@ -64,6 +64,7 @@ static RINSE_PUMP_STATE_T handleRinsePumpOffState( void ); static RINSE_PUMP_STATE_T handleRinsePumpOnState ( void ); +static void monitorRinsePumpSpeed( void ); static void publishRinsePumpData( void ); static void setRinsePumpPwmCount( RINSE_PUMP_ID_T pumpId, U32 pwmCount );