[Javabdd-checkins] JavaBDD buddy_jni.c,1.18,1.19

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9716

Modified Files:
	buddy_jni.c 
Log Message:


Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.18
retrieving revision 1.19
diff -C2 -d -r1.18 -r1.19
*** buddy_jni.c	23 Jun 2004 06:23:05 -0000	1.18
--- buddy_jni.c	22 Jul 2004 22:00:53 -0000	1.19
***************
*** 32,36 ****
  #define INVALID_BDD -1
  
! //#define TRACE_BUDDYLIB
  
  static int bdd_error;
--- 32,36 ----
  #define INVALID_BDD -1
  
! #undef TRACE_BUDDYLIB
  
  static int bdd_error;
***************
*** 690,694 ****
  {
  #if defined(TRACE_BUDDYLIB)
!   printf("bdd_addvarblock(%d, %d)\n", b, fixed);
  #endif
    bdd_addvarblock(var, fixed);
--- 690,694 ----
  {
  #if defined(TRACE_BUDDYLIB)
!   printf("bdd_addvarblock(%d, %d)\n", var , fixed);
  #endif
    bdd_addvarblock(var, fixed);