summaryrefslogtreecommitdiffstats
path: root/src/proof/fra
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-08-24 21:36:09 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-08-24 21:36:09 -0700
commitf85db9dd1f1020aef4fd1ecef9ac6506b48afb25 (patch)
tree6336932317ea5491e18774660473ef6c336e82cd /src/proof/fra
parent13bd7b334cfc84a19446a8ae93b59af5eb78ac22 (diff)
downloadabc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.tar.gz
abc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.tar.bz2
abc-f85db9dd1f1020aef4fd1ecef9ac6506b48afb25.zip
Compiler warnings.
Diffstat (limited to 'src/proof/fra')
-rw-r--r--src/proof/fra/fraSim.c2
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;
}