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 );
 
Index: firmware/App/Controllers/RinsePump.h
===================================================================
diff -u -r046bc2b62cf942b7e846fa5bff698b94238edf24 -r3bfe4dde2875490b4e7fa595f634f30e19422210
--- firmware/App/Controllers/RinsePump.h	(.../RinsePump.h)	(revision 046bc2b62cf942b7e846fa5bff698b94238edf24)
+++ firmware/App/Controllers/RinsePump.h	(.../RinsePump.h)	(revision 3bfe4dde2875490b4e7fa595f634f30e19422210)
@@ -63,7 +63,6 @@
 void initRinsePump(void);
 void execRinsePumpController(void);
 void execRinsePumpMonitor( void );
-void monitorRinsePumpSpeed( void );
 U32 getRinsePumpMeasuredSpeed( void );
 U32 getRinsePumpTargetSpeedRPM( void );
 void setRinsePumpState( RINSE_PUMP_STATE_T state );