1 files changed, 11 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h
index c765dd8d..5688d7b2 100644
--- a/src/misc/vec/vecWrd.h
+++ b/src/misc/vec/vecWrd.h
@@ -1084,6 +1084,17 @@ static inline void Vec_WrdUniqify( Vec_Wrd_t * p )
             p->pArray[k++] = p->pArray[i];
     p->nSize = k;
 }
+static inline int Vec_WrdUniqueCount( Vec_Wrd_t * vData, int nWordSize, Vec_Int_t ** pvMap )
+{
+    int Result;
+    Vec_Int_t * vDataInt = (Vec_Int_t *)vData;
+    vDataInt->nSize *= 2;
+    vDataInt->nCap *= 2;
+    Result = Vec_IntUniqueCount( vDataInt, 2 * nWordSize, pvMap );
+    vDataInt->nSize /= 2;
+    vDataInt->nCap /= 2;
+    return Result;
+}
 static inline Vec_Wrd_t * Vec_WrdUniqifyHash( Vec_Wrd_t * vData, int nWordSize )
 {
     Vec_Int_t * vResInt;