diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-02 20:50:56 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-02 20:50:56 -0800 |
| commit | 2f69fa134e387698c05ea5c1c47f19684e99961f (patch) | |
| tree | 6ad10a758001fdf2a06ce9df95fe64ebe4755737 /src/base/wlc | |
| parent | 64035e52ab2c245f3ef871983b1e9369b1fda2e4 (diff) | |
| download | abc-2f69fa134e387698c05ea5c1c47f19684e99961f.tar.gz abc-2f69fa134e387698c05ea5c1c47f19684e99961f.tar.bz2 abc-2f69fa134e387698c05ea5c1c47f19684e99961f.zip | |
Moving global declarations into 'abcapi.h' and moving it into 'main' package.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcStdin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcStdin.c b/src/base/wlc/wlcStdin.c index 49c25ad0..3b747cc5 100644 --- a/src/base/wlc/wlcStdin.c +++ b/src/base/wlc/wlcStdin.c @@ -239,7 +239,7 @@ int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ) return 0; } // report value of this variable - Wlc_NtkReport( (Wlc_Ntk_t *)pAbc->pAbcWlc, Abc_FrameReadCex(pAbc), pName, 16 ); + Wlc_NtkReport( (Wlc_Ntk_t *)pAbc->pAbcWlc, (Abc_Cex_t *)Abc_FrameReadCex(pAbc), pName, 16 ); Vec_StrFree( vInput ); fflush( stdout ); } |