diff --git a/lib_debug/wmc_auto.c b/lib_debug/wmc_auto.c
index 1ab20a2ee8da89fbe648a039aea4a0bce45af550..31a9073aff71a67ea604be34c07bbdb373ab38e1 100644
--- a/lib_debug/wmc_auto.c
+++ b/lib_debug/wmc_auto.c
@@ -2199,19 +2199,19 @@ long DeltaWeightedOperation( void )
 }
 
 /* Resets the current BASOP WMOPS counter */
-void Reset_BASOP_WMOPS_counter( void )
+void Reset_BASOP_WMOPS_counter( unsigned int counterId )
 {
     int i;
-    long *ptr;
+    unsigned int *ptr;
 
-    /* clear the current BASOP operation counter before new frame begins */
-    ptr = (long *) &multiCounter[currCounter];
-    for ( i = 0; i < (int) ( sizeof( multiCounter[currCounter] ) / sizeof( long ) ); i++ )
+    /* reset the current BASOP operation counter */
+    ptr = (unsigned int *) &multiCounter[counterId];
+    for ( i = 0; i < (int) (sizeof(BASIC_OP) / sizeof(unsigned int)); i++ )
     {
         *ptr++ = 0;
     }
 
-    wmops[currCounter].LastWOper = 0;
+    wmops[counterId].LastWOper = 0;
 
     return;
 }