From ee727912938fdba38f08570e4ab961c0fd503dcf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Sep 2014 22:26:54 -0700
Subject: Improvements to Boolean matching.

---
 src/map/if/ifTune.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/if/ifTune.c')

diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c
index 95f598fd..7b3adfec 100644
--- a/src/map/if/ifTune.c
+++ b/src/map/if/ifTune.c
@@ -807,6 +807,8 @@ void Ifn_NtkRead()
 //    char * pStr = "g=<abc>;h=<ade>;i={fgh};";
     char * pStr = "i=<abc>;j=(def);k=[gh];l={ijk};";
     Ifn_Ntk_t * p = Ifn_NtkParse( pStr );
+    if ( p == NULL )
+        return;
     Ifn_NtkPrint( p );
     Dau_DsdPrintFromTruth( pTruth, nVars );
     // get the given function
-- 
cgit v1.2.3