From 5d237b36e2e610f467f060aff2f4bec30fa66d59 Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
Date: Fri, 4 Aug 2023 11:27:58 -0400
Subject: [PATCH 7/8] fedora: don't pass NULL to fprintf
 (berkeley-abc/abc/pull/194)

---
 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 105a6490..bd0fcf27 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;
     }
 
-- 
2.41.0