From 765a21240891735a844dd64d1d73789ae6e55bc6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 2 Oct 2007 08:01:00 -0700 Subject: Version abc71002 --- src/aig/cnf/cnfWrite.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/cnf/cnfWrite.c') diff --git a/src/aig/cnf/cnfWrite.c b/src/aig/cnf/cnfWrite.c index 45a3efad..a46069e6 100644 --- a/src/aig/cnf/cnfWrite.c +++ b/src/aig/cnf/cnfWrite.c @@ -324,8 +324,8 @@ Cnf_Dat_t * Cnf_ManWriteCnf( Cnf_Man_t * p, Vec_Ptr_t * vMapped, int nOutputs ) Synopsis [Derives a simple CNF for the AIG.] Description [The last argument shows the number of last outputs - of the manager, which will not be converted into clauses but the - new variables for which will be introduced.] + of the manager, which will not be converted into clauses. + New variables will be introduced for these outputs.] SideEffects [] -- cgit v1.2.3