compiler warning

This commit is contained in:
MyskYko 2023-05-02 18:17:46 -07:00
parent 323229a438
commit d1ceefee82
2 changed files with 2 additions and 2 deletions

View File

@ -163,7 +163,7 @@ namespace NewTt {
if(p.nObjsMaxLog < p.nObjsAllocLog)
throw std::invalid_argument("nObjsMax must not be smaller than nObjsAlloc");
if(nVars >= lww())
nSize = 1 << (nVars - lww());
nSize = 1ull << (nVars - lww());
else
nSize = 1;
if(!nSize)

View File

@ -1360,7 +1360,7 @@ private: // Setup
if(nVerbose > 3)
std::cout << "\t\t\tImport po " << i << std::endl;
int i0 = Gia_ObjId(pGia, Gia_ObjFanin0(pObj));
bool c0 = Gia_ObjFaninC0(pObj);
int c0 = Gia_ObjFaninC0(pObj);
Connect(nObjs, v[i0] ^ c0);
vPos.push_back(nObjs);
nObjs++;