diff options
| author | Mathias Soeken <mathias.soeken@gmail.com> | 2017-03-03 10:33:59 +0100 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@gmail.com> | 2017-03-03 10:33:59 +0100 |
| commit | f03871ab22b6c8a487e8fce19ab6b8a540b849f8 (patch) | |
| tree | b2c4c1fad6f8b5ce111e0545ed34c89d38397fc9 /src/base/main/mainFrame.c | |
| parent | 28e8e7f3e79d1391a2f3a31cefe3afe234aa3b8e (diff) | |
| parent | b1907e909d92d1147937b26b5e97fb344647f719 (diff) | |
| download | abc-f03871ab22b6c8a487e8fce19ab6b8a540b849f8.tar.gz abc-f03871ab22b6c8a487e8fce19ab6b8a540b849f8.tar.bz2 abc-f03871ab22b6c8a487e8fce19ab6b8a540b849f8.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/base/main/mainFrame.c')
| -rw-r--r-- | src/base/main/mainFrame.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 9647d020..cd4ff2c7 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -69,7 +69,7 @@ char * Abc_FrameReadFlag( char * pFlag ) { return Cmd_FlagRe int Abc_FrameReadBmcFrames( Abc_Frame_t * p ) { return s_GlobalFrame->nFrames; } int Abc_FrameReadProbStatus( Abc_Frame_t * p ) { return s_GlobalFrame->Status; } -Abc_Cex_t * Abc_FrameReadCex( Abc_Frame_t * p ) { return s_GlobalFrame->pCex; } +void * Abc_FrameReadCex( Abc_Frame_t * p ) { return s_GlobalFrame->pCex; } Vec_Ptr_t * Abc_FrameReadCexVec( Abc_Frame_t * p ) { return s_GlobalFrame->vCexVec; } Vec_Int_t * Abc_FrameReadStatusVec( Abc_Frame_t * p ) { return s_GlobalFrame->vStatuses; } Vec_Ptr_t * Abc_FrameReadPoEquivs( Abc_Frame_t * p ) { return s_GlobalFrame->vPoEquivs; } |