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 );