From 889ed19c1c8c56e0d888876ed0b011275eafcaf8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 26 Aug 2012 09:31:43 -0700 Subject: Compiler warnings. --- src/proof/fra/fraSim.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/fra') diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c index 3b2fc219..bbe68717 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", (char)c ); + printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", pFileName, (char)c ); Vec_StrFreeP( &vRes ); break; } -- cgit v1.2.3