diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-12 13:34:06 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-12 13:34:06 -0700 |
commit | 3b76bc2792e3e0b717d2eca5fc3469d5dfaaab0c (patch) | |
tree | 16a598bca13e4d18ba4bc6247adda81b5dfb9727 /src/base/wlc/wlcCom.c | |
parent | 4ffc14fd56b0f32351adffeec062c9086c5b9cb5 (diff) | |
download | abc-3b76bc2792e3e0b717d2eca5fc3469d5dfaaab0c.tar.gz abc-3b76bc2792e3e0b717d2eca5fc3469d5dfaaab0c.tar.bz2 abc-3b76bc2792e3e0b717d2eca5fc3469d5dfaaab0c.zip |
Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift).
Diffstat (limited to 'src/base/wlc/wlcCom.c')
-rw-r--r-- | src/base/wlc/wlcCom.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index 77bf36ba..5f62f757 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -128,10 +128,10 @@ int Abc_CommandReadWlc( Abc_Frame_t * pAbc, int argc, char ** argv ) switch ( c ) { case 'o': - fPrintTree ^= 1; + fOldParser ^= 1; break; case 'p': - fOldParser ^= 1; + fPrintTree ^= 1; break; case 'v': fVerbose ^= 1; |