summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/aig/aig/aigObj.c2
-rw-r--r--src/base/abci/abc.c4
2 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/aig/aigObj.c b/src/aig/aig/aigObj.c
index 51989d0a..41a07823 100644
--- a/src/aig/aig/aigObj.c
+++ b/src/aig/aig/aigObj.c
@@ -130,7 +130,7 @@ Aig_Obj_t * Aig_ObjCreate( Aig_Man_t * p, Aig_Obj_t * pGhost )
}
return pObj;
}
-
+
/**Function*************************************************************
Synopsis [Connect the object to the fanin.]
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 874a1057..1196cc84 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -19704,13 +19704,13 @@ int Abc_CommandDSat( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Currently can only solve the miter for combinational circuits.\n" );
return 0;
}
-/*
+
if ( Abc_NtkPoNum(pNtk) != 1 )
{
Abc_Print( -1, "Currently expects a single-output miter.\n" );
return 0;
}
-*/
+
if ( !Abc_NtkIsStrash(pNtk) )
{
Abc_Print( -1, "Currently only works for structurally hashed circuits.\n" );