From 044c7a0794e7bf5a608a4f16dcba8912c3ffd634 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 4 Jun 2018 11:01:39 -0700
Subject: Disabling unused feature in &nf.

---
 src/aig/gia/giaNf.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c
index 9a374dda..eaaf24e9 100644
--- a/src/aig/gia/giaNf.c
+++ b/src/aig/gia/giaNf.c
@@ -2407,11 +2407,13 @@ Gia_Man_t * Nf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars )
     }
     Nf_ManFixPoDrivers( p );
     pNew = Nf_ManDeriveMapping( p );
+/*
     if ( pPars->fAreaOnly )
     {
         int Sbm_ManTestSat( void * pMan );
         Sbm_ManTestSat( p );
     }
+*/
     Nf_StoDelete( p );
     return pNew;
 }
-- 
cgit v1.2.3