diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 21:36:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 21:36:09 -0700 |
| commit | f85db9dd1f1020aef4fd1ecef9ac6506b48afb25 (patch) | |
| tree | 6336932317ea5491e18774660473ef6c336e82cd /src/proof/fra/fraSim.c | |
| parent | 13bd7b334cfc84a19446a8ae93b59af5eb78ac22 (diff) | |
| download | abc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.tar.gz abc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.tar.bz2 abc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/fra/fraSim.c')
| -rw-r--r-- | src/proof/fra/fraSim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c index b85107d7..3b2fc219 100644 --- a/src/proof/fra/fraSim.c +++ b/src/proof/fra/fraSim.c @@ -894,7 +894,7 @@ Vec_Str_t * Fra_SmlSimulateReadFile( char * pFileName ) Vec_StrPush( vRes, (char)(c - '0') ); else if ( c != ' ' && c != '\r' && c != '\n' && c != '\t' ) { - printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", c ); + printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", (char)c ); Vec_StrFreeP( &vRes ); break; } |