diff options
Diffstat (limited to 'src/base/abci/abcSense.c')
-rw-r--r-- | src/base/abci/abcSense.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcSense.c b/src/base/abci/abcSense.c index f3d71a54..a1e5b98a 100644 --- a/src/base/abci/abcSense.c +++ b/src/base/abci/abcSense.c @@ -140,7 +140,7 @@ Abc_Ntk_t * Abc_NtkSensitivityMiter( Abc_Ntk_t * pNtk, int iVar ) /**Function************************************************************* - Synopsis [Computing sensitivity of POs to POs under constaints.] + Synopsis [Computing sensitivity of POs to POs under constraints.] Description [The input network is a combinatonal AIG. The last output is a constraint. The procedure returns the list of number of PIs, |