From 9055265394006a1c14688a018db48d06ba14e756 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Aug 2014 16:23:52 -0700
Subject: Bug fix in &fraig -L <num>.

---
 .hgignore           |  3 ++
 abclib.dsp          | 84 -----------------------------------------------------
 src/base/abci/abc.c |  4 +--
 3 files changed, 5 insertions(+), 86 deletions(-)

diff --git a/.hgignore b/.hgignore
index 2224b85a..777fab98 100644
--- a/.hgignore
+++ b/.hgignore
@@ -23,6 +23,9 @@ src/aig/ddb/
 src/base/abc2/
 src/base/abc2d/
 
+src/base/pcm/
+src/base/ply/
+
 *~
 *.orig
 
diff --git a/abclib.dsp b/abclib.dsp
index b18bb3a3..38b02a67 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -737,94 +737,10 @@ SOURCE=.\src\base\test\test.c
 # Begin Group "pcm"
 
 # PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmCut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmMap.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmReduce.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmTime.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmTruth.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pcm\pcmUtil.c
-# End Source File
 # End Group
 # Begin Group "ply"
 
 # PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\ply\ply.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyAbc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyAig.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyFake.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyIter.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyLib.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyMap.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyNtk.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyPair.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\ply\plyPar.c
-# End Source File
 # End Group
 # End Group
 # Begin Group "bdd"
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index c3ccc04b..dff328eb 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -10603,7 +10603,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 //        Nf_ManPrepareLibraryTest();
 //        return 0;
     }
-
+/*
     if ( pNtk )
     {
 //        extern Abc_Ntk_t * Abc_NtkBarBufsOnOffTest( Abc_Ntk_t * pNtk );
@@ -10622,7 +10622,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
         }
         Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
     }
-
+*/
     return 0;
 usage:
     Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" );
-- 
cgit v1.2.3