diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 83254756f..6ff822c3e 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 );
 }