Index: firmware/App/Controllers/ROPump.c
===================================================================
diff -u -r0dec8744af40d0c87a6d7cd1923920c1c2bd1d2f -rf308cc4c35eab630ebbbde405cfe47d049afeafb
--- firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision 0dec8744af40d0c87a6d7cd1923920c1c2bd1d2f)
+++ firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision f308cc4c35eab630ebbbde405cfe47d049afeafb)
@@ -15,9 +15,7 @@
 *
 ***************************************************************************/
 
-#ifndef _VECTORCAST_
-    #include <math.h>
-#endif
+#include <math.h>
 
 #include "etpwm.h"
 #include "mibspi.h"
@@ -144,8 +142,8 @@
  * @details
  * Inputs : none
  * Outputs : targetROPumpPressure, roPumpPWMDutyCyclePct
- * @param roPressure : new target RO pressure
- * @param mode : new control mode
+ * @param roPressure new target RO pressure
+ * @param mode new control mode
  * @return TRUE if new target pressure is set, FALSE if not
  *************************************************************************/
 BOOL setROPumpTargetPressure( U32 roPressure, PUMP_CONTROL_MODE_T mode )
@@ -267,7 +265,6 @@
  * @details
  * Inputs : none
  * Outputs : none
- * @param none
  * @return isROPumpOn
  *************************************************************************/
 BOOL isReverseOsmosisPumpOn( void )
@@ -386,7 +383,7 @@
  * @details
  * Inputs : none
  * Outputs : PWM duty cycle zeroed
- * @param newPWM : new duty cycle % to apply to PWM
+ * @param newPWM new duty cycle % to apply to PWM
  * @return none
  *************************************************************************/
 static void setROPumpControlSignalPWM( F32 newPWM )
@@ -511,9 +508,7 @@
     return result;
 }
 
-/**@}*/
 
-
 /*************************************************************************
  *                       TEST SUPPORT FUNCTIONS
  *************************************************************************/
@@ -526,7 +521,7 @@
  * @details
  * Inputs : none
  * Outputs : roPumpDataPublishInterval
- * @param value : override RO pump data publish interval with (in ms)
+ * @param value override RO pump data publish interval with (in ms)
  * @return TRUE if override successful, FALSE if not
  *************************************************************************/
 BOOL testSetROPumpDataPublishIntervalOverride( U32 value )
@@ -575,7 +570,7 @@
  * @details
  * Inputs : none
  * Outputs : targetROPumpPressure
- * @param value : override target RO pressure (in PSI)
+ * @param value override target RO pressure (in PSI)
  * @return TRUE if override successful, FALSE if not
  *************************************************************************/
 BOOL testSetTargetROPumpPressureOverride( U32 value )
@@ -600,7 +595,6 @@
  * @details
  * Inputs : none
  * Outputs : targetROPumpPressure
- * @param none
  * @return TRUE if override reset successful, FALSE if not
  *************************************************************************/
 BOOL testResetTargetROPumpPressureOverride( void )
@@ -626,7 +620,7 @@
  * @details
  * Inputs : none
  * Outputs : measuredROFlowRateLPM
- * @param value : override measured RO pump motor speed (in LPM)
+ * @param value override measured RO pump motor speed (in LPM)
  * @return TRUE if override successful, FALSE if not
  *************************************************************************/
 BOOL testSetMeasuredROFlowRateOverride( F32 value )
@@ -650,7 +644,6 @@
  * @details
  * Inputs : none
  * Outputs : measuredROFlowRateLPM
- * @param none
  * @return TRUE if override successful, FALSE if not
  *************************************************************************/
 BOOL testResetMeasuredROFlowRateOverride( void )
@@ -666,3 +659,5 @@
 
     return result;
 }
+
+/**@}*/