From 7e843d64a934e731943d5975bb9255ebc1cfc719 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Sep 2012 23:34:56 -0700 Subject: Added delay multipliers to 'map'. --- src/sat/cnf/cnfCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat') 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(); } } -- cgit v1.2.3