diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 23:34:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 23:34:56 -0700 |
| commit | 7e843d64a934e731943d5975bb9255ebc1cfc719 (patch) | |
| tree | b4bb27b82430400d5050982969ead4079fe178e5 /src/sat/cnf | |
| parent | 6d05fde2dc046d16c0d04b06d1755b9c25e6ee1d (diff) | |
| download | abc-7e843d64a934e731943d5975bb9255ebc1cfc719.tar.gz abc-7e843d64a934e731943d5975bb9255ebc1cfc719.tar.bz2 abc-7e843d64a934e731943d5975bb9255ebc1cfc719.zip | |
Added delay multipliers to 'map'.
Diffstat (limited to 'src/sat/cnf')
| -rw-r--r-- | src/sat/cnf/cnfCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/cnf/cnfCore.c b/src/sat/cnf/cnfCore.c index b32d0c7a..9a845007 100644 --- a/src/sat/cnf/cnfCore.c +++ b/src/sat/cnf/cnfCore.c @@ -47,7 +47,7 @@ void Cnf_ManPrepare() { if ( s_pManCnf == NULL ) { - printf( "\n\nCreating CNF manager!!!!!\n\n" ); +// printf( "\n\nCreating CNF manager!!!!!\n\n" ); s_pManCnf = Cnf_ManStart(); } } |