From d5234332fb29b7b50220df6a09d913d6832a425c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 24 May 2013 22:35:22 -0700 Subject: New MFS package. --- src/base/io/io.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/base/io/io.c') diff --git a/src/base/io/io.c b/src/base/io/io.c index 9dee37a7..b472dac5 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2663,22 +2663,22 @@ int IoCommandWriteTruth( Abc_Frame_t * pAbc, int argc, char **argv ) } if ( pAbc->pNtkCur == NULL ) { - printf( "Current networks is not available.\n" ); + printf( "Current network is not available.\n" ); return 0; } if ( !Abc_NtkIsLogic(pNtk) ) { - printf( "Current networks should not an AIG. Run \"logic\".\n" ); + printf( "Current network should not an AIG. Run \"logic\".\n" ); return 0; } if ( Abc_NtkPoNum(pNtk) != 1 ) { - printf( "Current networks should have exactly one primary output.\n" ); + printf( "Current network should have exactly one primary output.\n" ); return 0; } if ( Abc_NtkNodeNum(pNtk) != 1 ) { - printf( "Current networks should have exactly one node.\n" ); + printf( "Current network should have exactly one node.\n" ); return 0; } pNode = Abc_ObjFanin0( Abc_NtkPo(pNtk, 0) ); -- cgit v1.2.3