Index: firmware/App/Controllers/RinsePump.c =================================================================== diff -u -r046bc2b62cf942b7e846fa5bff698b94238edf24 -r3bfe4dde2875490b4e7fa595f634f30e19422210 --- firmware/App/Controllers/RinsePump.c (.../RinsePump.c) (revision 046bc2b62cf942b7e846fa5bff698b94238edf24) +++ firmware/App/Controllers/RinsePump.c (.../RinsePump.c) (revision 3bfe4dde2875490b4e7fa595f634f30e19422210) @@ -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 );