From f936cc0680c98ffe51b3a1716c996072d5dbf76c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 18 Jan 2009 08:01:00 -0800
Subject: Version abc90118

---
 src/aig/ioa/ioaWriteAig.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/aig/ioa')

diff --git a/src/aig/ioa/ioaWriteAig.c b/src/aig/ioa/ioaWriteAig.c
index 12de42ad..ec37b40e 100644
--- a/src/aig/ioa/ioaWriteAig.c
+++ b/src/aig/ioa/ioaWriteAig.c
@@ -258,6 +258,12 @@ void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int
     unsigned char * pBuffer;
     unsigned uLit0, uLit1, uLit;
 
+    if ( Aig_ManPoNum(pMan) == 0 )
+    {
+        printf( "AIG cannot be written because it has no POs.\n" );
+        return;
+    }
+
 //    assert( Aig_ManIsStrash(pMan) );
     // start the output stream
     pFile = fopen( pFileName, "wb" );
-- 
cgit v1.2.3