diff --git a/sylvan_ldd.c b/sylvan_ldd.c
index a42f83d4cef9a06c4d0780e447c790c8988afd49..efbc02aa8abf184c28047449875851c437e072db 100755
--- a/sylvan_ldd.c
+++ b/sylvan_ldd.c
@@ -3035,7 +3035,6 @@ ldd_refs_push(MDD lddmc)
 void __attribute__((unused))
 ldd_refs_pop(long amount)
 {
-
     lddmc_refs_key->rcur -= amount;
 }
 
@@ -3078,7 +3077,7 @@ void sylvan_gc_seq()
 {
     if (seq_llmsset_count_marked(nodes)>llmsset_get_size(nodes)/2)
     {
-    printf("GC active \n ");
+    	//printf("GC active \n ");
         cache_clear();
         llmsset_clear_data_seq(nodes);
         ldd_gc_mark_protected();
@@ -3211,7 +3210,6 @@ ldd_gc_mark_rec(MDD mdd)
 
 void  displayMDDTableInfo()
 {
-
     printf("%zu of %zu buckets filled!\n", seq_llmsset_count_marked(nodes), llmsset_get_size(nodes));
 }
 int isGCRequired()