diff options
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainInt.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index f82e12d6..0261d7da 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -73,6 +73,11 @@ struct Abc_Frame_t_ void * pLibGen; // the current genlib void * pLibSuper; // the current supergate library void * pLibVer; // the current Verilog library + + // new code + void * pAbc8Ntl; // the current design + void * pAbc8Ntk; // the current mapped network + void * pAbc8Aig; // the current AIG }; //////////////////////////////////////////////////////////////////////// |