diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:08:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:08:04 -0700 |
| commit | a36325609845c7114541dd23ccb7dae3137f3fd4 (patch) | |
| tree | 3b60e319a0b1781b164329665e718e57a68e536f /src/base/main/mainInit.c | |
| parent | e2f15482175a06a9aa9056a3a54b2bb05de2721a (diff) | |
| download | abc-a36325609845c7114541dd23ccb7dae3137f3fd4.tar.gz abc-a36325609845c7114541dd23ccb7dae3137f3fd4.tar.bz2 abc-a36325609845c7114541dd23ccb7dae3137f3fd4.zip | |
Removing unused command.
Diffstat (limited to 'src/base/main/mainInit.c')
| -rw-r--r-- | src/base/main/mainInit.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/main/mainInit.c b/src/base/main/mainInit.c index d7ab7ae2..693cea90 100644 --- a/src/base/main/mainInit.c +++ b/src/base/main/mainInit.c @@ -119,7 +119,6 @@ void Abc_FrameInit( Abc_Frame_t * pAbc ) Bac_Init( pAbc ); Cba_Init( pAbc ); Pla_Init( pAbc ); - Sim_Init( pAbc ); Test_Init( pAbc ); Glucose_Init( pAbc ); Glucose2_Init( pAbc ); @@ -160,7 +159,6 @@ void Abc_FrameEnd( Abc_Frame_t * pAbc ) Bac_End( pAbc ); Cba_End( pAbc ); Pla_End( pAbc ); - Sim_End( pAbc ); Test_End( pAbc ); Glucose_End( pAbc ); } |