diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-19 09:55:58 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-19 09:55:58 -0800 |
commit | 6cf289dadd41354eb03ef1fa0a4d366ab5f62f8c (patch) | |
tree | 3e431a17544f528d4f00ea0995e557978fa38ff2 /src/base/wlc/wlcCom.c | |
parent | 24fdcecb2d034af4d7f7c26ec083f6baf1434018 (diff) | |
download | abc-6cf289dadd41354eb03ef1fa0a4d366ab5f62f8c.tar.gz abc-6cf289dadd41354eb03ef1fa0a4d366ab5f62f8c.tar.bz2 abc-6cf289dadd41354eb03ef1fa0a4d366ab5f62f8c.zip |
working on pdr with wla
Diffstat (limited to 'src/base/wlc/wlcCom.c')
-rw-r--r-- | src/base/wlc/wlcCom.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index 6b542b94..e980752b 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -541,7 +541,7 @@ int Abc_CommandPdrAbs( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( 1, "Abc_CommandCone(): There is no current design.\n" ); return 0; } - Wlc_NtkAbsCore( pNtk, pPars ); + Wlc_NtkPdrAbs( pNtk, pPars ); return 0; usage: Abc_Print( -2, "usage: %%pdra [-AMXFI num] [-xvwh]\n" ); |