Commit 54813798 by Alan Mishchenko

Adding new NPN code (compiler fix).

parent 9ff7134f
......@@ -1770,7 +1770,7 @@ static void Abc_TgPurgeSymmetry(Abc_TgMan_t * pMan, int doHigh)
pMan->nGVars -= sum;
}
static void Abc_TgExpendSymmetry(Abc_TgMan_t * pMan, char * pPerm, char * pDest)
void Abc_TgExpendSymmetry(Abc_TgMan_t * pMan, char * pPerm, char * pDest)
{
int i = 0, j, k;
for (j = 0; j < pMan->nGVars; j++)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment