diff options
Diffstat (limited to 'div')
| -rw-r--r-- | div/deadlock_test.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/div/deadlock_test.c b/div/deadlock_test.c index a1cd97b7a78..be6d940cf1b 100644 --- a/div/deadlock_test.c +++ b/div/deadlock_test.c @@ -125,7 +125,7 @@ static void permute_aux(int *order, int num_queries, int* fixed) } } - //printf("num_free = %d\n", num_free); + /*printf("num_free = %d\n", num_free); */ if(num_free <= 1) { |