Silence warning about unused variables

The assert is disabled in release builds.

Author: madebr

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_ );
 

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 );