Index: firmware/App/Drivers/PinchValve.h
===================================================================
diff -u -r5b9b3a6bbbdc9257ddf01fdbe781a8f6748beafa -r73e17d7f9edcedb40fef1d905267ae629b8ace42
--- firmware/App/Drivers/PinchValve.h	(.../PinchValve.h)	(revision 5b9b3a6bbbdc9257ddf01fdbe781a8f6748beafa)
+++ firmware/App/Drivers/PinchValve.h	(.../PinchValve.h)	(revision 73e17d7f9edcedb40fef1d905267ae629b8ace42)
@@ -46,7 +46,7 @@
 void setPinchValveEnableReset( VALVE_T valve, BOOL enable, BOOL reset );
 U08  getPinchValveEnableReset( VALVE_T valve );
 
-BOOL isPinchValveBusy( void );
+BOOL isPinchValveBusy( VALVE_T valve );
 
 /**@}*/