diff options
Diffstat (limited to 'src/bdd/cas/casDec.c')
-rw-r--r-- | src/bdd/cas/casDec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cas/casDec.c b/src/bdd/cas/casDec.c index a1eb5f36..3435f30d 100644 --- a/src/bdd/cas/casDec.c +++ b/src/bdd/cas/casDec.c @@ -94,7 +94,7 @@ long s_EncComputeTime; /// debugging macros /// //////////////////////////////////////////////////////////////////////// -#define PRB(f) printf( #f " = " ); Cudd_bddPrint(dd,f); printf( "\n" ) +#define PRB_(f) printf( #f " = " ); Cudd_bddPrint(dd,f); printf( "\n" ) #define PRK(f,n) Cudd_PrintKMap(stdout,dd,(f),Cudd_Not(f),(n),NULL,0); printf( "K-map for function" #f "\n\n" ) #define PRK2(f,g,n) Cudd_PrintKMap(stdout,dd,(f),(g),(n),NULL,0); printf( "K-map for function <" #f ", " #g ">\n\n" ) |