summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-10-11 18:12:20 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2017-10-11 18:12:20 +0700
commit222d7c7a9283c897cc4396a8acc18cbda5d2a909 (patch)
treec07f5992644c2a1963b9d3051e0aacfe98635612 /src/base/abci
parent711ea3dfecc62cba9035a7e655dec4e4119420f0 (diff)
downloadabc-222d7c7a9283c897cc4396a8acc18cbda5d2a909.tar.gz
abc-222d7c7a9283c897cc4396a8acc18cbda5d2a909.tar.bz2
abc-222d7c7a9283c897cc4396a8acc18cbda5d2a909.zip
Fix the build.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abc.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 7d8a5ec3..9dc7b285 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -12625,7 +12625,6 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
// Cba_PrsReadBlifTest();
}
// Abc_NtkComputePaths( Abc_FrameReadNtk(pAbc) );
- Gia_TruthTest();
return 0;
usage:
Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" );