diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
| commit | 3f2899d6ea1a141f40d7fdfe4556bb349d53c250 (patch) | |
| tree | f364e1b2a6fd9f257822dfe27e0f41ac8e9c958d /src/base | |
| parent | 8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada (diff) | |
| download | abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.gz abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.bz2 abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.zip | |
Compiler warnings.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/main/mainReal.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c index ee43d38d..31bfef75 100644 --- a/src/base/main/mainReal.c +++ b/src/base/main/mainReal.c @@ -196,7 +196,7 @@ int Abc_RealMain( int argc, char * argv[] ) case 't': if ( TypeCheck( pAbc, globalUtilOptarg ) ) { - if ( !strcmp(globalUtilOptarg, "none") == 0 ) + if ( (!strcmp(globalUtilOptarg, "none")) == 0 ) { fInitRead = 1; sprintf( sReadCmd, "read_%s", globalUtilOptarg ); @@ -211,7 +211,7 @@ int Abc_RealMain( int argc, char * argv[] ) case 'T': if ( TypeCheck( pAbc, globalUtilOptarg ) ) { - if (!strcmp(globalUtilOptarg, "none") == 0) + if ( (!strcmp(globalUtilOptarg, "none")) == 0) { fFinalWrite = 1; sprintf( sWriteCmd, "write_%s", globalUtilOptarg); |