From 5a9f37cd93dfbe794ce4c0d639eef17c68a3d0cb Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 16 Nov 2022 11:38:38 -0700
Subject: [PATCH] Do not pass NULL to fprintf

---
 src/base/exor/exorUtil.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/exor/exorUtil.c b/src/base/exor/exorUtil.c
index 105a64903..bd0fcf277 100644
--- 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;
     }