diff --git a/src/misc/util/utilDouble.h b/src/misc/util/utilDouble.h
index 0d02378183..ab32d33c05 100644
--- a/src/misc/util/utilDouble.h
+++ b/src/misc/util/utilDouble.h
@@ -179,8 +179,8 @@ static inline void Xdbl_Test()
     xdbl b    = Xdbl_FromDouble(10.28828287);
     xdbl ab   = Xdbl_Mul(a, b);
 
-    xdbl ten100 = Xdbl_FromDouble( 1e100 );
-    xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
+    xdbl ten100 ___unused = Xdbl_FromDouble( 1e100 );
+    xdbl ten100_ ___unused = ABC_CONST(0x014c924d692ca61b);
 
     assert( ten100 == ten100_ );
 
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index 1a771afa2e..9af9d325af 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -1657,7 +1657,7 @@ static inline int Abc_TtCheckCondDep2( word * pTruth, int nVars, int nSuppLim )
 }
 static inline int Abc_TtCheckCondDep( word * pTruth, int nVars, int nSuppLim )
 {
-    int nVarsMax = 13;
+    int nVarsMax ___unused = 13;
     word Cof0[128], Cof1[128]; // pow( 2, nVarsMax-6 )
     int v, d, nWords = Abc_TtWordNum(nVars);
     assert( nVars <= nVarsMax );