Commit 1e1d41f3 by Alan Mishchenko

Fix typo on the message reporting max output load.

parent 222d7c7a
......@@ -266,7 +266,7 @@ void Abc_SclReadTimingConstr( Abc_Frame_t * pAbc, char * pFileName, int fVerbose
{
Abc_FrameSetMaxLoad( atof(strtok(NULL, " \t\r\n")) );
if ( fVerbose )
printf( "Setting driving cell to be %f.\n", Abc_FrameReadMaxLoad() );
printf( "Setting output load to be %f.\n", Abc_FrameReadMaxLoad() );
}
else printf( "Unrecognized token \"%s\".\n", pToken );
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment