Merge pull request #194 from jamesjer/badfile

Do not pass NULL to fprintf
berkeley-abc · Sep 5, 2023 · 7f22cc0 · 7f22cc0
2 parents 17c9075 + 5a9f37c
commit 7f22cc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/base/exor/exorUtil.c b/src/base/exor/exorUtil.c
@@ -189,7 +189,7 @@ int WriteResultIntoFile( char * pFileName )
     pFile = fopen( pFileName, "w" );
     if ( pFile == NULL )
     {
-        fprintf( pFile, "\n\nCannot open the output file\n" );
+        fprintf( stderr, "\n\nCannot open the output file\n" );
         return 1;
     }