diff options
Diffstat (limited to 'src/aig/ntl/ntl.h')
| -rw-r--r-- | src/aig/ntl/ntl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ntl/ntl.h b/src/aig/ntl/ntl.h index 4f00cbda..fc9d21bc 100644 --- a/src/aig/ntl/ntl.h +++ b/src/aig/ntl/ntl.h @@ -120,6 +120,7 @@ struct Ntl_Net_t_ { Ntl_Net_t * pNext; // next net in the hash table void * pCopy; // the copy of this object + void * pCopy2; // the copy of this object Ntl_Obj_t * pDriver; // driver of the net char nVisits; // the number of times the net is visited char fMark; // temporary mark |