From 50e17ae0f444aadee3621ef5f0c68eb386755cf6 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Tue, 24 Oct 2017 23:03:32 +0200
Subject: Small fix. Garanteeing pPars is not NULL before checking
 pPars->fSlacks

---
 src/aig/gia/giaMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 83254756..6ff822c3 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -557,7 +557,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
 */
         Gia_ManPrintTents( p );
     }
-    if ( pPars->fSlacks )
+    if ( pPars && pPars->fSlacks )
         Gia_ManDfsSlacksPrint( p );
 }
 
-- 
cgit v1.2.3