diff options
Diffstat (limited to 'src/temp/aig/aigMan.c')
| -rw-r--r-- | src/temp/aig/aigMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/temp/aig/aigMan.c b/src/temp/aig/aigMan.c index af6df62d..bb39712f 100644 --- a/src/temp/aig/aigMan.c +++ b/src/temp/aig/aigMan.c @@ -56,6 +56,7 @@ Aig_Man_t * Aig_ManStart() Aig_ManStartMemory( p ); // create the constant node p->pConst1 = Aig_ManFetchMemory( p ); + p->pConst1->Type = AIG_CONST1; p->pConst1->fPhase = 1; p->nCreated = 1; // start the table |