diff --git a/src/aig/gia/giaNewTt.h b/src/aig/gia/giaNewTt.h
index 14bb7c450..15dfc53a9 100644
--- a/src/aig/gia/giaNewTt.h
+++ b/src/aig/gia/giaNewTt.h
@@ -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)
diff --git a/src/aig/gia/giaTransduction.h b/src/aig/gia/giaTransduction.h
index 59d8b413b..6636cfddb 100644
--- a/src/aig/gia/giaTransduction.h
+++ b/src/aig/gia/giaTransduction.h
@@ -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++;