diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
| commit | 1260d20cc05fe2d21088cc047c460e85ccdb3b14 (patch) | |
| tree | f10ccc3333f78b6e2e089a88c8cf61a47b2f2dcd /src/sat/fraig/fraigTable.c | |
| parent | 33012d9530c40817e1fc5230b3e663f7690b2e94 (diff) | |
| download | abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.gz abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.bz2 abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.zip | |
Version abc50905
Diffstat (limited to 'src/sat/fraig/fraigTable.c')
| -rw-r--r-- | src/sat/fraig/fraigTable.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/fraig/fraigTable.c b/src/sat/fraig/fraigTable.c index 7a8af749..d0f22acd 100644 --- a/src/sat/fraig/fraigTable.c +++ b/src/sat/fraig/fraigTable.c @@ -355,7 +355,7 @@ int Fraig_CompareSimInfo( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWor return 0; // check the simulation info for ( i = 0; i < iWordLast; i++ ) - if ( pNode1->puSimR[i] != pNode2->puSimR[i] ) + if ( pNode1->puSimR[i] != pNode2->puSimR[i] ) return 0; } else @@ -365,7 +365,7 @@ int Fraig_CompareSimInfo( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWor return 0; // check the simulation info for ( i = 0; i < iWordLast; i++ ) - if ( pNode1->puSimD[i] != pNode2->puSimD[i] ) + if ( pNode1->puSimD[i] != pNode2->puSimD[i] ) return 0; } return 1; |