diff options
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index e305c74f..5992d191 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -59,9 +59,9 @@ struct Abc_Frame_t_ // general info char * sVersion; // the name of the current version // commands, aliases, etc - st_table * tCommands; // the command table - st_table * tAliases; // the alias table - st_table * tFlags; // the flag table + st__table * tCommands; // the command table + st__table * tAliases; // the alias table + st__table * tFlags; // the flag table Vec_Ptr_t * aHistory; // the command history // the functionality Abc_Ntk_t * pNtkCur; // the current network |